	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function vtopde
_vtopde:                                ## @vtopde
	.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
	.cfi_offset %rbx, -32
	.cfi_offset %r14, -24
	movq	_NPDEPGSHIFT@GOTPCREL(%rip), %rax
	movq	_NPDPEPGSHIFT@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	addl	(%rax), %ecx
	movq	_NPML4EPGSHIFT@GOTPCREL(%rip), %rax
	addl	(%rax), %ecx
	movq	$-1, %r14
                                        ## kill: def $cl killed $cl killed $ecx
	shlq	%cl, %r14
	notl	%r14d
	movq	_VM_MAXUSER_ADDRESS@GOTPCREL(%rip), %rcx
	xorl	%eax, %eax
	cmpl	%edi, (%rcx)
	setle	%al
	movslq	%edi, %rbx
	movl	%eax, %edi
	movq	%rbx, %rsi
	callq	_KASSERT
	movq	_PDmap@GOTPCREL(%rip), %rdx
	movq	_PDRSHIFT@GOTPCREL(%rip), %rax
	movb	(%rax), %cl
	sarl	%cl, %ebx
	andl	%r14d, %ebx
	movslq	%ebx, %rax
	shlq	$2, %rax
	addq	(%rdx), %rax
	popq	%rbx
	popq	%r14
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_NPDEPGSHIFT,8,3                ## @NPDEPGSHIFT
	.comm	_NPDPEPGSHIFT,8,3               ## @NPDPEPGSHIFT
	.comm	_NPML4EPGSHIFT,8,3              ## @NPML4EPGSHIFT
	.comm	_VM_MAXUSER_ADDRESS,4,2         ## @VM_MAXUSER_ADDRESS
	.comm	_PDmap,8,3                      ## @PDmap
	.comm	_PDRSHIFT,4,2                   ## @PDRSHIFT
	.no_dead_strip	_vtopde
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function vtopde
_vtopde:                                ; @vtopde
	.cfi_startproc
; %bb.0:
	stp	x20, x19, [sp, #-32]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 32
	stp	x29, x30, [sp, #16]             ; 16-byte Folded Spill
	add	x29, sp, #16
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	mov	x19, x0
Lloh0:
	adrp	x8, _NPDEPGSHIFT@GOTPAGE
Lloh1:
	ldr	x8, [x8, _NPDEPGSHIFT@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
Lloh3:
	adrp	x9, _NPDPEPGSHIFT@GOTPAGE
Lloh4:
	ldr	x9, [x9, _NPDPEPGSHIFT@GOTPAGEOFF]
Lloh5:
	adrp	x10, _NPML4EPGSHIFT@GOTPAGE
Lloh6:
	ldr	x10, [x10, _NPML4EPGSHIFT@GOTPAGEOFF]
Lloh7:
	ldr	x9, [x9]
Lloh8:
	ldr	x10, [x10]
	add	x8, x9, x8
	add	x8, x8, x10
	mov	x9, #-1
	lsl	x20, x9, x8
Lloh9:
	adrp	x8, _VM_MAXUSER_ADDRESS@GOTPAGE
Lloh10:
	ldr	x8, [x8, _VM_MAXUSER_ADDRESS@GOTPAGEOFF]
Lloh11:
	ldr	w8, [x8]
	cmp	w8, w0
	cset	w0, le
	sxtw	x1, w19
	bl	_KASSERT
Lloh12:
	adrp	x8, _PDmap@GOTPAGE
Lloh13:
	ldr	x8, [x8, _PDmap@GOTPAGEOFF]
Lloh14:
	adrp	x9, _PDRSHIFT@GOTPAGE
Lloh15:
	ldr	x9, [x9, _PDRSHIFT@GOTPAGEOFF]
Lloh16:
	ldr	x8, [x8]
Lloh17:
	ldr	w9, [x9]
	asr	w9, w19, w9
	bic	w9, w9, w20
	add	x0, x8, w9, sxtw #2
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh17
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh16
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh8
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh7
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_NPDEPGSHIFT,8,3                ; @NPDEPGSHIFT
	.comm	_NPDPEPGSHIFT,8,3               ; @NPDPEPGSHIFT
	.comm	_NPML4EPGSHIFT,8,3              ; @NPML4EPGSHIFT
	.comm	_VM_MAXUSER_ADDRESS,4,2         ; @VM_MAXUSER_ADDRESS
	.comm	_PDmap,8,3                      ; @PDmap
	.comm	_PDRSHIFT,4,2                   ; @PDRSHIFT
	.no_dead_strip	_vtopde
.subsections_via_symbols
