	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function verify_bkpt
_verify_bkpt:                           ## @verify_bkpt
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r13
	pushq	%r12
	pushq	%rbx
	subq	$40, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rcx, -64(%rbp)                 ## 8-byte Spill
	movq	%rdx, %r12
	movq	%rsi, %rbx
	movq	%rsi, -56(%rbp)                 ## 8-byte Spill
	movq	%rdi, %r13
	callq	_proc_wstatus
	movq	_PS_STOP@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	leaq	L_.str(%rip), %rdx
	movl	%eax, %edi
	movl	%eax, %ecx
	xorl	%eax, %eax
	callq	_ATF_REQUIRE_EQ_MSG
	movq	_REG_PC@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	leaq	-44(%rbp), %r14
	movq	%r13, %rdi
	movq	%r14, %rdx
	callq	_proc_regget
	movq	_target_prog_file@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	leaq	L_.str.1(%rip), %rdx
	movl	%eax, %edi
	xorl	%esi, %esi
	xorl	%eax, %eax
	callq	_ATF_REQUIRE_EQ_MSG
	movq	%r14, %rdi
	callq	_proc_bkptregadj
	movl	-44(%rbp), %ecx
	movq	(%rbx), %rsi
	leaq	L_.str.2(%rip), %rdx
	movl	%ecx, %edi
	movl	%esi, %r8d
	callq	_ATF_CHECK_EQ_MSG
	movq	%r12, %rdi
	callq	_strlen
	incl	%eax
	movslq	%eax, %r14
	movq	%r14, %rdi
	callq	_malloc
	movq	%rax, %rbx
	xorl	%edi, %edi
	testq	%rax, %rax
	setne	%dil
	callq	_ATF_REQUIRE
	movl	-44(%rbp), %esi
	leaq	-72(%rbp), %r15
	movq	%r13, %rdi
	movq	%rbx, %rdx
	movq	%r14, %rcx
	movq	%r15, %r8
	callq	_proc_addr2sym
	movl	-44(%rbp), %ecx
	leaq	L_.str.3(%rip), %rdx
	movl	%eax, %edi
	xorl	%esi, %esi
	xorl	%eax, %eax
	callq	_ATF_REQUIRE_EQ_MSG
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	%r15, %rsi
	movl	$8, %edx
	callq	_memcmp
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_ATF_REQUIRE_EQ
	movq	%r12, %rdi
	movq	%rbx, %rsi
	callq	_strcmp
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_ATF_REQUIRE_EQ
	movq	%rbx, %rdi
	callq	_free
	movl	-44(%rbp), %esi
	movq	%r13, %rdi
	callq	_proc_addr2map
	movq	%rax, %rbx
	xorl	%edi, %edi
	testq	%rax, %rax
	setne	%dil
	movl	-44(%rbp), %edx
	leaq	L_.str.4(%rip), %rsi
	callq	_ATF_REQUIRE_MSG
	movl	(%rbx), %edi
	callq	_strdup
	movq	%rax, %r14
	movq	%rax, %rdi
	callq	_basename
	movq	%rax, %r15
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rdi
	movq	%rax, %rsi
	callq	_strcmp
	leaq	L_.str.5(%rip), %rdx
	movl	%eax, %edi
	xorl	%esi, %esi
	movq	%rbx, %rcx
	movq	%r15, %r8
	xorl	%eax, %eax
	callq	_ATF_REQUIRE_EQ_MSG
	movq	%r14, %rdi
	callq	_free
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_PS_STOP,4,2                    ## @PS_STOP
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"process has state %d"

	.comm	_REG_PC,4,2                     ## @REG_PC
L_.str.1:                               ## @.str.1
	.asciz	"failed to obtain PC for '%s'"

	.comm	_target_prog_file,4,2           ## @target_prog_file
L_.str.2:                               ## @.str.2
	.asciz	"program counter 0x%lx doesn't match expected value 0x%jx"

L_.str.3:                               ## @.str.3
	.asciz	"failed to look up symbol at 0x%lx"

L_.str.4:                               ## @.str.4
	.asciz	"failed to look up map for address 0x%lx"

L_.str.5:                               ## @.str.5
	.asciz	"expected map name '%s' doesn't match '%s'"

	.no_dead_strip	_verify_bkpt
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function verify_bkpt
_verify_bkpt:                           ; @verify_bkpt
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #96
	.cfi_def_cfa_offset 96
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	add	x29, sp, #80
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	mov	x19, x3
	mov	x21, x2
	mov	x22, x1
	mov	x20, x0
	bl	_proc_wstatus
                                        ; kill: def $w0 killed $w0 def $x0
Lloh0:
	adrp	x8, _PS_STOP@GOTPAGE
Lloh1:
	ldr	x8, [x8, _PS_STOP@GOTPAGEOFF]
Lloh2:
	ldr	w1, [x8]
	str	x0, [sp]
Lloh3:
	adrp	x2, l_.str@PAGE
Lloh4:
	add	x2, x2, l_.str@PAGEOFF
                                        ; kill: def $w0 killed $w0 killed $x0
	bl	_ATF_REQUIRE_EQ_MSG
Lloh5:
	adrp	x8, _REG_PC@GOTPAGE
Lloh6:
	ldr	x8, [x8, _REG_PC@GOTPAGEOFF]
Lloh7:
	ldr	w1, [x8]
	add	x2, sp, #20
	mov	x0, x20
	bl	_proc_regget
Lloh8:
	adrp	x8, _target_prog_file@GOTPAGE
Lloh9:
	ldr	x8, [x8, _target_prog_file@GOTPAGEOFF]
Lloh10:
	ldr	w8, [x8]
	str	x8, [sp]
Lloh11:
	adrp	x2, l_.str.1@PAGE
Lloh12:
	add	x2, x2, l_.str.1@PAGEOFF
	mov	w1, #0
	bl	_ATF_REQUIRE_EQ_MSG
	add	x0, sp, #20
	bl	_proc_bkptregadj
	ldr	w0, [sp, #20]
	ldr	x1, [x22]
Lloh13:
	adrp	x2, l_.str.2@PAGE
Lloh14:
	add	x2, x2, l_.str.2@PAGEOFF
	mov	x3, x0
	mov	x4, x1
	bl	_ATF_CHECK_EQ_MSG
	mov	x0, x21
	bl	_strlen
	add	w8, w0, #1
	sxtw	x23, w8
	mov	x0, x23
	bl	_malloc
	mov	x24, x0
	cmp	x0, #0
	cset	w0, ne
	bl	_ATF_REQUIRE
	ldr	w1, [sp, #20]
	add	x4, sp, #24
	mov	x0, x20
	mov	x2, x24
	mov	x3, x23
	bl	_proc_addr2sym
	ldr	w8, [sp, #20]
	str	x8, [sp]
Lloh15:
	adrp	x2, l_.str.3@PAGE
Lloh16:
	add	x2, x2, l_.str.3@PAGEOFF
	mov	w1, #0
	bl	_ATF_REQUIRE_EQ_MSG
	add	x1, sp, #24
	mov	x0, x22
	mov	w2, #8
	bl	_memcmp
	mov	w1, #0
	bl	_ATF_REQUIRE_EQ
	mov	x0, x21
	mov	x1, x24
	bl	_strcmp
	mov	w1, #0
	bl	_ATF_REQUIRE_EQ
	mov	x0, x24
	bl	_free
	ldr	w1, [sp, #20]
	mov	x0, x20
	bl	_proc_addr2map
	mov	x20, x0
	cmp	x0, #0
	cset	w0, ne
	ldr	w2, [sp, #20]
Lloh17:
	adrp	x1, l_.str.4@PAGE
Lloh18:
	add	x1, x1, l_.str.4@PAGEOFF
	bl	_ATF_REQUIRE_MSG
	ldr	w0, [x20]
	bl	_strdup
	mov	x20, x0
	bl	_basename
	mov	x21, x0
	mov	x0, x19
	mov	x1, x21
	bl	_strcmp
	stp	x19, x21, [sp]
Lloh19:
	adrp	x2, l_.str.5@PAGE
Lloh20:
	add	x2, x2, l_.str.5@PAGEOFF
	mov	w1, #0
	bl	_ATF_REQUIRE_EQ_MSG
	mov	x0, x20
	bl	_free
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #96
	ret
	.loh AdrpAdd	Lloh19, Lloh20
	.loh AdrpAdd	Lloh17, Lloh18
	.loh AdrpAdd	Lloh15, Lloh16
	.loh AdrpAdd	Lloh13, Lloh14
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_PS_STOP,4,2                    ; @PS_STOP
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"process has state %d"

	.comm	_REG_PC,4,2                     ; @REG_PC
l_.str.1:                               ; @.str.1
	.asciz	"failed to obtain PC for '%s'"

	.comm	_target_prog_file,4,2           ; @target_prog_file
l_.str.2:                               ; @.str.2
	.asciz	"program counter 0x%lx doesn't match expected value 0x%jx"

l_.str.3:                               ; @.str.3
	.asciz	"failed to look up symbol at 0x%lx"

l_.str.4:                               ; @.str.4
	.asciz	"failed to look up map for address 0x%lx"

l_.str.5:                               ; @.str.5
	.asciz	"expected map name '%s' doesn't match '%s'"

	.no_dead_strip	_verify_bkpt
.subsections_via_symbols
