	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function pmap_large_map_kextract
_pmap_large_map_kextract:               ## @pmap_large_map_kextract
	.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
	pushq	%rax
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%edi, %r15d
	callq	_PMAP_ADDRESS_IN_LARGEMAP
	movslq	%r15d, %rbx
	movl	%eax, %edi
	movq	%rbx, %rsi
	callq	_KASSERT
	movl	%ebx, %edi
	callq	_pmap_large_map_pdpe
	movq	%rax, %r14
	movl	(%rax), %r12d
	movq	_X86_PG_V@GOTPCREL(%rip), %rax
	xorl	%edi, %edi
	movl	(%rax), %eax
	andl	%r12d, %eax
	setne	%dil
	movslq	%r12d, %rbx
	movq	%rbx, %rsi
	callq	_KASSERT
	movq	_X86_PG_PS@GOTPCREL(%rip), %r13
	testl	%ebx, (%r13)
	je	LBB0_2
## %bb.1:
	movq	_amd_feature@GOTPCREL(%rip), %rax
	movq	_AMDID_PAGE1GB@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	xorl	%edi, %edi
	andl	(%rax), %ecx
	setne	%dil
	movq	%rbx, %rsi
	callq	_KASSERT
	movq	_PDPMASK@GOTPCREL(%rip), %rax
	movq	_PG_PS_PDP_FRAME@GOTPCREL(%rip), %rcx
	jmp	LBB0_5
LBB0_2:
	movq	%r14, %rdi
	movl	%r15d, %esi
	callq	_pmap_pdpe_to_pde
	movq	%rax, %r14
	movl	(%rax), %r12d
	xorl	%edi, %edi
	movq	_X86_PG_V@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	andl	%r12d, %eax
	setne	%dil
	movslq	%r12d, %rbx
	movq	%rbx, %rsi
	callq	_KASSERT
	testl	%ebx, (%r13)
	je	LBB0_4
## %bb.3:
	movq	_PDRMASK@GOTPCREL(%rip), %rax
	movq	_PG_PS_FRAME@GOTPCREL(%rip), %rcx
	jmp	LBB0_5
LBB0_4:
	movq	%r14, %rdi
	movl	%r15d, %esi
	callq	_pmap_pde_to_pte
	movl	(%rax), %r12d
	xorl	%edi, %edi
	movq	_X86_PG_V@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	andl	%r12d, %eax
	setne	%dil
	movslq	%r12d, %rsi
	callq	_KASSERT
	movq	_PAGE_MASK@GOTPCREL(%rip), %rax
	movq	_PG_FRAME@GOTPCREL(%rip), %rcx
LBB0_5:
	andl	(%rcx), %r12d
	andl	(%rax), %r15d
	orl	%r12d, %r15d
	movl	%r15d, %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_X86_PG_V,4,2                   ## @X86_PG_V
	.comm	_X86_PG_PS,4,2                  ## @X86_PG_PS
	.comm	_amd_feature,4,2                ## @amd_feature
	.comm	_AMDID_PAGE1GB,4,2              ## @AMDID_PAGE1GB
	.comm	_PG_PS_PDP_FRAME,4,2            ## @PG_PS_PDP_FRAME
	.comm	_PDPMASK,4,2                    ## @PDPMASK
	.comm	_PG_PS_FRAME,4,2                ## @PG_PS_FRAME
	.comm	_PDRMASK,4,2                    ## @PDRMASK
	.comm	_PG_FRAME,4,2                   ## @PG_FRAME
	.comm	_PAGE_MASK,4,2                  ## @PAGE_MASK
	.no_dead_strip	_pmap_large_map_kextract
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function pmap_large_map_kextract
_pmap_large_map_kextract:               ; @pmap_large_map_kextract
	.cfi_startproc
; %bb.0:
	stp	x24, x23, [sp, #-64]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 64
	stp	x22, x21, [sp, #16]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #32]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #48]             ; 16-byte Folded Spill
	add	x29, sp, #48
	.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, x0
	bl	_PMAP_ADDRESS_IN_LARGEMAP
	sxtw	x1, w19
	bl	_KASSERT
	mov	x0, x19
	bl	_pmap_large_map_pdpe
	mov	x21, x0
	ldr	w22, [x0]
Lloh0:
	adrp	x23, _X86_PG_V@GOTPAGE
Lloh1:
	ldr	x23, [x23, _X86_PG_V@GOTPAGEOFF]
	ldr	w8, [x23]
	tst	w8, w22
	cset	w0, ne
	sxtw	x20, w22
	mov	x1, x20
	bl	_KASSERT
Lloh2:
	adrp	x24, _X86_PG_PS@GOTPAGE
Lloh3:
	ldr	x24, [x24, _X86_PG_PS@GOTPAGEOFF]
	ldr	w8, [x24]
	tst	w8, w22
	b.eq	LBB0_2
; %bb.1:
Lloh4:
	adrp	x8, _amd_feature@GOTPAGE
Lloh5:
	ldr	x8, [x8, _amd_feature@GOTPAGEOFF]
Lloh6:
	ldr	w8, [x8]
Lloh7:
	adrp	x9, _AMDID_PAGE1GB@GOTPAGE
Lloh8:
	ldr	x9, [x9, _AMDID_PAGE1GB@GOTPAGEOFF]
Lloh9:
	ldr	w9, [x9]
	tst	w9, w8
	cset	w0, ne
	mov	x1, x20
	bl	_KASSERT
Lloh10:
	adrp	x8, _PDPMASK@GOTPAGE
Lloh11:
	ldr	x8, [x8, _PDPMASK@GOTPAGEOFF]
Lloh12:
	adrp	x9, _PG_PS_PDP_FRAME@GOTPAGE
Lloh13:
	ldr	x9, [x9, _PG_PS_PDP_FRAME@GOTPAGEOFF]
	b	LBB0_6
LBB0_2:
	mov	x0, x21
	mov	x1, x19
	bl	_pmap_pdpe_to_pde
	mov	x20, x0
	ldr	w22, [x0]
	ldr	w8, [x23]
	tst	w8, w22
	cset	w0, ne
	sxtw	x1, w22
	bl	_KASSERT
	ldr	w8, [x24]
	tst	w8, w22
	b.eq	LBB0_4
; %bb.3:
Lloh14:
	adrp	x8, _PDRMASK@GOTPAGE
Lloh15:
	ldr	x8, [x8, _PDRMASK@GOTPAGEOFF]
Lloh16:
	adrp	x9, _PG_PS_FRAME@GOTPAGE
Lloh17:
	ldr	x9, [x9, _PG_PS_FRAME@GOTPAGEOFF]
	b	LBB0_5
LBB0_4:
	mov	x0, x20
	mov	x1, x19
	bl	_pmap_pde_to_pte
	ldr	w22, [x0]
	ldr	w8, [x23]
	tst	w8, w22
	cset	w0, ne
	sxtw	x1, w22
	bl	_KASSERT
Lloh18:
	adrp	x8, _PAGE_MASK@GOTPAGE
Lloh19:
	ldr	x8, [x8, _PAGE_MASK@GOTPAGEOFF]
Lloh20:
	adrp	x9, _PG_FRAME@GOTPAGE
Lloh21:
	ldr	x9, [x9, _PG_FRAME@GOTPAGEOFF]
LBB0_5:
                                        ; kill: def $w22 killed $w22 killed $x22 def $x22
LBB0_6:
	ldr	w9, [x9]
	and	w9, w9, w22
	ldr	w8, [x8]
	and	w8, w8, w19
	orr	w0, w8, w9
	ldp	x29, x30, [sp, #48]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #32]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #16]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp], #64             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGot	Lloh12, Lloh13
	.loh AdrpLdrGot	Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh7, Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh4, Lloh5, Lloh6
	.loh AdrpLdrGot	Lloh16, Lloh17
	.loh AdrpLdrGot	Lloh14, Lloh15
	.loh AdrpLdrGot	Lloh20, Lloh21
	.loh AdrpLdrGot	Lloh18, Lloh19
	.cfi_endproc
                                        ; -- End function
	.comm	_X86_PG_V,4,2                   ; @X86_PG_V
	.comm	_X86_PG_PS,4,2                  ; @X86_PG_PS
	.comm	_amd_feature,4,2                ; @amd_feature
	.comm	_AMDID_PAGE1GB,4,2              ; @AMDID_PAGE1GB
	.comm	_PG_PS_PDP_FRAME,4,2            ; @PG_PS_PDP_FRAME
	.comm	_PDPMASK,4,2                    ; @PDPMASK
	.comm	_PG_PS_FRAME,4,2                ; @PG_PS_FRAME
	.comm	_PDRMASK,4,2                    ; @PDRMASK
	.comm	_PG_FRAME,4,2                   ; @PG_FRAME
	.comm	_PAGE_MASK,4,2                  ; @PAGE_MASK
	.no_dead_strip	_pmap_large_map_kextract
.subsections_via_symbols
