	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function vcpu_notify_event_locked
_vcpu_notify_event_locked:              ## @vcpu_notify_event_locked
	.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	%rbx
	pushq	%rax
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rdi, %rbx
	movslq	(%rdi), %r14
	movq	8(%rdi), %rcx
	movq	_VCPU_RUNNING@GOTPCREL(%rip), %rdx
	movq	_NOCPU@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	cmpq	(%rdx), %rcx
	jne	LBB0_4
## %bb.1:
	movl	%esi, %r15d
	xorl	%edi, %edi
	cmpl	%eax, %r14d
	setne	%dil
	leaq	L_.str(%rip), %rsi
	callq	_KASSERT
	movq	_curcpu@GOTPCREL(%rip), %rax
	cmpl	(%rax), %r14d
	je	LBB0_5
## %bb.2:
	testl	%r15d, %r15d
	je	LBB0_3
## %bb.6:
	movl	16(%rbx), %edi
	movq	_vmm_ipinum@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movl	%r14d, %esi
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_vlapic_post_intr               ## TAILCALL
LBB0_4:
	xorl	%edi, %edi
	cmpl	%eax, %r14d
	sete	%dil
	movq	%r14, %rsi
	callq	_KASSERT
	movq	8(%rbx), %rax
	movq	_VCPU_SLEEPING@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_5
## %bb.7:
	movq	%rbx, %rdi
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_wakeup_one                     ## TAILCALL
LBB0_5:
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_3:
	movq	_vmm_ipinum@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%r14d, %edi
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_ipi_cpu                        ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.comm	_VCPU_RUNNING,8,3               ## @VCPU_RUNNING
	.comm	_NOCPU,4,2                      ## @NOCPU
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"vcpu running on invalid hostcpu"

	.comm	_curcpu,4,2                     ## @curcpu
	.comm	_vmm_ipinum,4,2                 ## @vmm_ipinum
	.comm	_VCPU_SLEEPING,8,3              ## @VCPU_SLEEPING
	.no_dead_strip	_vcpu_notify_event_locked
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function vcpu_notify_event_locked
_vcpu_notify_event_locked:              ; @vcpu_notify_event_locked
	.cfi_startproc
; %bb.0:
	stp	x22, x21, [sp, #-48]!           ; 16-byte Folded Spill
	.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
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	mov	x19, x0
	ldrsw	x20, [x0]
Lloh0:
	adrp	x8, _VCPU_RUNNING@GOTPAGE
Lloh1:
	ldr	x8, [x8, _VCPU_RUNNING@GOTPAGEOFF]
	ldr	x9, [x0, #8]
Lloh2:
	ldr	x10, [x8]
Lloh3:
	adrp	x8, _NOCPU@GOTPAGE
Lloh4:
	ldr	x8, [x8, _NOCPU@GOTPAGEOFF]
Lloh5:
	ldr	w8, [x8]
	cmp	x9, x10
	b.ne	LBB0_4
; %bb.1:
	mov	x21, x1
	cmp	w20, w8
	cset	w0, ne
Lloh6:
	adrp	x1, l_.str@PAGE
Lloh7:
	add	x1, x1, l_.str@PAGEOFF
	bl	_KASSERT
Lloh8:
	adrp	x8, _curcpu@GOTPAGE
Lloh9:
	ldr	x8, [x8, _curcpu@GOTPAGEOFF]
Lloh10:
	ldr	w8, [x8]
	cmp	w20, w8
	b.eq	LBB0_6
; %bb.2:
	cbz	w21, LBB0_7
; %bb.3:
	ldr	w0, [x19, #16]
Lloh11:
	adrp	x8, _vmm_ipinum@GOTPAGE
Lloh12:
	ldr	x8, [x8, _vmm_ipinum@GOTPAGEOFF]
Lloh13:
	ldr	w2, [x8]
	mov	x1, x20
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	b	_vlapic_post_intr
LBB0_4:
	cmp	w20, w8
	cset	w0, eq
	mov	x1, x20
	bl	_KASSERT
	ldr	x8, [x19, #8]
Lloh14:
	adrp	x9, _VCPU_SLEEPING@GOTPAGE
Lloh15:
	ldr	x9, [x9, _VCPU_SLEEPING@GOTPAGEOFF]
Lloh16:
	ldr	x9, [x9]
	cmp	x8, x9
	b.ne	LBB0_6
; %bb.5:
	mov	x0, x19
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	b	_wakeup_one
LBB0_6:
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	ret
LBB0_7:
Lloh17:
	adrp	x8, _vmm_ipinum@GOTPAGE
Lloh18:
	ldr	x8, [x8, _vmm_ipinum@GOTPAGEOFF]
Lloh19:
	ldr	w1, [x8]
	mov	x0, x20
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	b	_ipi_cpu
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.cfi_endproc
                                        ; -- End function
	.comm	_VCPU_RUNNING,8,3               ; @VCPU_RUNNING
	.comm	_NOCPU,4,2                      ; @NOCPU
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"vcpu running on invalid hostcpu"

	.comm	_curcpu,4,2                     ; @curcpu
	.comm	_vmm_ipinum,4,2                 ; @vmm_ipinum
	.comm	_VCPU_SLEEPING,8,3              ; @VCPU_SLEEPING
	.no_dead_strip	_vcpu_notify_event_locked
.subsections_via_symbols
