	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_main                           ## -- Begin function main
	.p2align	4, 0x90
_main:                                  ## @main
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r14
	pushq	%rbx
	subq	$16, %rsp
	.cfi_offset %rbx, -32
	.cfi_offset %r14, -24
	callq	_ptunit_mk_suite
	movl	%eax, %ebx
	movl	%eax, -24(%rbp)
	movq	_from_user_null@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_from_user_too_small@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_from_user_bad_buffer@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_from_user@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_from_user_small@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_from_user_big@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_size@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_addr_filter_size@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_addr_filter_none@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_addr_filter_0@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_addr_filter_1_3@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_addr_filter_oob@GOTPCREL(%rip), %r14
	movl	(%r14), %esi
	movl	%ebx, %edi
	movl	$255, %edx
	callq	_ptu_run_p
	movl	(%r14), %esi
	movl	%ebx, %edi
	movl	$8, %edx
	callq	_ptu_run_p
	movq	_addr_filter_ip_in@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_addr_filter_ip_out@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_addr_filter_stop_in@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_addr_filter_stop_out@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_addr_filter_ip_out_stop_in@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_addr_filter_ip_in_stop_in@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_cpu_errata_null@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_cpu_errata_unknown@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_cpu_errata_bad_vendor@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	movq	_cpu_errata_bad_cpuid@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_ptu_run
	leaq	-24(%rbp), %rdi
	callq	_ptunit_report
	addq	$16, %rsp
	popq	%rbx
	popq	%r14
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_from_user_null,4,2             ## @from_user_null
	.comm	_from_user_too_small,4,2        ## @from_user_too_small
	.comm	_from_user_bad_buffer,4,2       ## @from_user_bad_buffer
	.comm	_from_user,4,2                  ## @from_user
	.comm	_from_user_small,4,2            ## @from_user_small
	.comm	_from_user_big,4,2              ## @from_user_big
	.comm	_size,4,2                       ## @size
	.comm	_addr_filter_size,4,2           ## @addr_filter_size
	.comm	_addr_filter_none,4,2           ## @addr_filter_none
	.comm	_addr_filter_0,4,2              ## @addr_filter_0
	.comm	_addr_filter_1_3,4,2            ## @addr_filter_1_3
	.comm	_addr_filter_oob,4,2            ## @addr_filter_oob
	.comm	_addr_filter_ip_in,4,2          ## @addr_filter_ip_in
	.comm	_addr_filter_ip_out,4,2         ## @addr_filter_ip_out
	.comm	_addr_filter_stop_in,4,2        ## @addr_filter_stop_in
	.comm	_addr_filter_stop_out,4,2       ## @addr_filter_stop_out
	.comm	_addr_filter_ip_out_stop_in,4,2 ## @addr_filter_ip_out_stop_in
	.comm	_addr_filter_ip_in_stop_in,4,2  ## @addr_filter_ip_in_stop_in
	.comm	_cpu_errata_null,4,2            ## @cpu_errata_null
	.comm	_cpu_errata_unknown,4,2         ## @cpu_errata_unknown
	.comm	_cpu_errata_bad_vendor,4,2      ## @cpu_errata_bad_vendor
	.comm	_cpu_errata_bad_cpuid,4,2       ## @cpu_errata_bad_cpuid
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_main                           ; -- Begin function main
	.p2align	2
_main:                                  ; @main
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #48
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	bl	_ptunit_mk_suite
	str	w0, [sp, #8]
Lloh0:
	adrp	x8, _from_user_null@GOTPAGE
Lloh1:
	ldr	x8, [x8, _from_user_null@GOTPAGEOFF]
Lloh2:
	ldr	w1, [x8]
	mov	w19, w0
	mov	x0, x19
	bl	_ptu_run
Lloh3:
	adrp	x8, _from_user_too_small@GOTPAGE
Lloh4:
	ldr	x8, [x8, _from_user_too_small@GOTPAGEOFF]
Lloh5:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh6:
	adrp	x8, _from_user_bad_buffer@GOTPAGE
Lloh7:
	ldr	x8, [x8, _from_user_bad_buffer@GOTPAGEOFF]
Lloh8:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh9:
	adrp	x8, _from_user@GOTPAGE
Lloh10:
	ldr	x8, [x8, _from_user@GOTPAGEOFF]
Lloh11:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh12:
	adrp	x8, _from_user_small@GOTPAGE
Lloh13:
	ldr	x8, [x8, _from_user_small@GOTPAGEOFF]
Lloh14:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh15:
	adrp	x8, _from_user_big@GOTPAGE
Lloh16:
	ldr	x8, [x8, _from_user_big@GOTPAGEOFF]
Lloh17:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh18:
	adrp	x8, _size@GOTPAGE
Lloh19:
	ldr	x8, [x8, _size@GOTPAGEOFF]
Lloh20:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh21:
	adrp	x8, _addr_filter_size@GOTPAGE
Lloh22:
	ldr	x8, [x8, _addr_filter_size@GOTPAGEOFF]
Lloh23:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh24:
	adrp	x8, _addr_filter_none@GOTPAGE
Lloh25:
	ldr	x8, [x8, _addr_filter_none@GOTPAGEOFF]
Lloh26:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh27:
	adrp	x8, _addr_filter_0@GOTPAGE
Lloh28:
	ldr	x8, [x8, _addr_filter_0@GOTPAGEOFF]
Lloh29:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh30:
	adrp	x8, _addr_filter_1_3@GOTPAGE
Lloh31:
	ldr	x8, [x8, _addr_filter_1_3@GOTPAGEOFF]
Lloh32:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh33:
	adrp	x20, _addr_filter_oob@GOTPAGE
Lloh34:
	ldr	x20, [x20, _addr_filter_oob@GOTPAGEOFF]
	ldr	w1, [x20]
	mov	x0, x19
	mov	w2, #255
	bl	_ptu_run_p
	ldr	w1, [x20]
	mov	x0, x19
	mov	w2, #8
	bl	_ptu_run_p
Lloh35:
	adrp	x8, _addr_filter_ip_in@GOTPAGE
Lloh36:
	ldr	x8, [x8, _addr_filter_ip_in@GOTPAGEOFF]
Lloh37:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh38:
	adrp	x8, _addr_filter_ip_out@GOTPAGE
Lloh39:
	ldr	x8, [x8, _addr_filter_ip_out@GOTPAGEOFF]
Lloh40:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh41:
	adrp	x8, _addr_filter_stop_in@GOTPAGE
Lloh42:
	ldr	x8, [x8, _addr_filter_stop_in@GOTPAGEOFF]
Lloh43:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh44:
	adrp	x8, _addr_filter_stop_out@GOTPAGE
Lloh45:
	ldr	x8, [x8, _addr_filter_stop_out@GOTPAGEOFF]
Lloh46:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh47:
	adrp	x8, _addr_filter_ip_out_stop_in@GOTPAGE
Lloh48:
	ldr	x8, [x8, _addr_filter_ip_out_stop_in@GOTPAGEOFF]
Lloh49:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh50:
	adrp	x8, _addr_filter_ip_in_stop_in@GOTPAGE
Lloh51:
	ldr	x8, [x8, _addr_filter_ip_in_stop_in@GOTPAGEOFF]
Lloh52:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh53:
	adrp	x8, _cpu_errata_null@GOTPAGE
Lloh54:
	ldr	x8, [x8, _cpu_errata_null@GOTPAGEOFF]
Lloh55:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh56:
	adrp	x8, _cpu_errata_unknown@GOTPAGE
Lloh57:
	ldr	x8, [x8, _cpu_errata_unknown@GOTPAGEOFF]
Lloh58:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh59:
	adrp	x8, _cpu_errata_bad_vendor@GOTPAGE
Lloh60:
	ldr	x8, [x8, _cpu_errata_bad_vendor@GOTPAGEOFF]
Lloh61:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
Lloh62:
	adrp	x8, _cpu_errata_bad_cpuid@GOTPAGE
Lloh63:
	ldr	x8, [x8, _cpu_errata_bad_cpuid@GOTPAGEOFF]
Lloh64:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ptu_run
	add	x0, sp, #8
	bl	_ptunit_report
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #48
	ret
	.loh AdrpLdrGotLdr	Lloh62, Lloh63, Lloh64
	.loh AdrpLdrGotLdr	Lloh59, Lloh60, Lloh61
	.loh AdrpLdrGotLdr	Lloh56, Lloh57, Lloh58
	.loh AdrpLdrGotLdr	Lloh53, Lloh54, Lloh55
	.loh AdrpLdrGotLdr	Lloh50, Lloh51, Lloh52
	.loh AdrpLdrGotLdr	Lloh47, Lloh48, Lloh49
	.loh AdrpLdrGotLdr	Lloh44, Lloh45, Lloh46
	.loh AdrpLdrGotLdr	Lloh41, Lloh42, Lloh43
	.loh AdrpLdrGotLdr	Lloh38, Lloh39, Lloh40
	.loh AdrpLdrGotLdr	Lloh35, Lloh36, Lloh37
	.loh AdrpLdrGot	Lloh33, Lloh34
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.loh AdrpLdrGotLdr	Lloh27, Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh24, Lloh25, Lloh26
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.loh AdrpLdrGotLdr	Lloh18, Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_from_user_null,4,2             ; @from_user_null
	.comm	_from_user_too_small,4,2        ; @from_user_too_small
	.comm	_from_user_bad_buffer,4,2       ; @from_user_bad_buffer
	.comm	_from_user,4,2                  ; @from_user
	.comm	_from_user_small,4,2            ; @from_user_small
	.comm	_from_user_big,4,2              ; @from_user_big
	.comm	_size,4,2                       ; @size
	.comm	_addr_filter_size,4,2           ; @addr_filter_size
	.comm	_addr_filter_none,4,2           ; @addr_filter_none
	.comm	_addr_filter_0,4,2              ; @addr_filter_0
	.comm	_addr_filter_1_3,4,2            ; @addr_filter_1_3
	.comm	_addr_filter_oob,4,2            ; @addr_filter_oob
	.comm	_addr_filter_ip_in,4,2          ; @addr_filter_ip_in
	.comm	_addr_filter_ip_out,4,2         ; @addr_filter_ip_out
	.comm	_addr_filter_stop_in,4,2        ; @addr_filter_stop_in
	.comm	_addr_filter_stop_out,4,2       ; @addr_filter_stop_out
	.comm	_addr_filter_ip_out_stop_in,4,2 ; @addr_filter_ip_out_stop_in
	.comm	_addr_filter_ip_in_stop_in,4,2  ; @addr_filter_ip_in_stop_in
	.comm	_cpu_errata_null,4,2            ; @cpu_errata_null
	.comm	_cpu_errata_unknown,4,2         ; @cpu_errata_unknown
	.comm	_cpu_errata_bad_vendor,4,2      ; @cpu_errata_bad_vendor
	.comm	_cpu_errata_bad_cpuid,4,2       ; @cpu_errata_bad_cpuid
.subsections_via_symbols
