	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function efi_1t1_pte
_efi_1t1_pte:                           ## @efi_1t1_pte
	.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
	movl	%edi, %r14d
	callq	_pmap_pml4e_index
	movq	%rax, %r15
	movq	_efi_pml4@GOTPCREL(%rip), %rax
	movq	(%rax), %rbx
	movl	(%rbx,%r15,4), %edi
	testl	%edi, %edi
	je	LBB0_1
## %bb.2:
	movq	_PAGE_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	notl	%eax
	andl	%eax, %edi
	jmp	LBB0_3
LBB0_1:
	xorl	%eax, %eax
	callq	_efi_1t1_page
	movl	%eax, %edi
	callq	_VM_PAGE_TO_PHYS
	movl	%eax, %edi
	movq	_X86_PG_RW@GOTPCREL(%rip), %rax
	movl	%edi, %ecx
	orl	(%rax), %ecx
	movq	_X86_PG_V@GOTPCREL(%rip), %rax
	orl	(%rax), %ecx
	movl	%ecx, (%rbx,%r15,4)
LBB0_3:
	callq	_PHYS_TO_DMAP
	movq	%rax, %r15
	movl	%r14d, %edi
	callq	_pmap_pdpe_index
	movl	(%r15,%rax,4), %edi
	testl	%edi, %edi
	je	LBB0_4
## %bb.5:
	movq	_PAGE_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	notl	%eax
	andl	%eax, %edi
	jmp	LBB0_6
LBB0_4:
	movq	%rax, %rbx
	xorl	%eax, %eax
	callq	_efi_1t1_page
	movl	%eax, %edi
	callq	_VM_PAGE_TO_PHYS
	movl	%eax, %edi
	movq	_X86_PG_RW@GOTPCREL(%rip), %rax
	movl	%edi, %ecx
	orl	(%rax), %ecx
	movq	_X86_PG_V@GOTPCREL(%rip), %rax
	orl	(%rax), %ecx
	movl	%ecx, (%r15,%rbx,4)
LBB0_6:
	callq	_PHYS_TO_DMAP
	movq	%rax, %r15
	movl	%r14d, %edi
	callq	_pmap_pde_index
	movl	(%r15,%rax,4), %edi
	testl	%edi, %edi
	je	LBB0_7
## %bb.8:
	movq	_PAGE_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	notl	%eax
	andl	%eax, %edi
	jmp	LBB0_9
LBB0_7:
	movq	%rax, %rbx
	xorl	%eax, %eax
	callq	_efi_1t1_page
	movl	%eax, %edi
	callq	_VM_PAGE_TO_PHYS
	movl	%eax, %edi
	movq	_X86_PG_RW@GOTPCREL(%rip), %rax
	movl	%edi, %ecx
	orl	(%rax), %ecx
	movq	_X86_PG_V@GOTPCREL(%rip), %rax
	orl	(%rax), %ecx
	movl	%ecx, (%r15,%rbx,4)
LBB0_9:
	callq	_PHYS_TO_DMAP
	movq	%rax, %rbx
	movl	%r14d, %edi
	callq	_pmap_pte_index
	cltq
	leaq	(%rbx,%rax,8), %r14
	movq	(%rbx,%rax,8), %rsi
	xorl	%edi, %edi
	testq	%rsi, %rsi
	sete	%dil
	callq	_KASSERT
	movq	%r14, %rax
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_efi_pml4,8,3                   ## @efi_pml4
	.comm	_X86_PG_RW,4,2                  ## @X86_PG_RW
	.comm	_X86_PG_V,4,2                   ## @X86_PG_V
	.comm	_PAGE_MASK,4,2                  ## @PAGE_MASK
	.no_dead_strip	_efi_1t1_pte
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function efi_1t1_pte
_efi_1t1_pte:                           ; @efi_1t1_pte
	.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
	bl	_pmap_pml4e_index
Lloh0:
	adrp	x8, _efi_pml4@GOTPAGE
Lloh1:
	ldr	x8, [x8, _efi_pml4@GOTPAGEOFF]
Lloh2:
	ldr	x21, [x8]
	ldr	w8, [x21, x0, lsl #2]
Lloh3:
	adrp	x22, _PAGE_MASK@GOTPAGE
Lloh4:
	ldr	x22, [x22, _PAGE_MASK@GOTPAGEOFF]
	cbz	w8, LBB0_2
; %bb.1:
	ldr	w9, [x22]
	bic	w0, w8, w9
	b	LBB0_3
LBB0_2:
	mov	x20, x0
	bl	_efi_1t1_page
	bl	_VM_PAGE_TO_PHYS
Lloh5:
	adrp	x8, _X86_PG_RW@GOTPAGE
Lloh6:
	ldr	x8, [x8, _X86_PG_RW@GOTPAGEOFF]
Lloh7:
	ldr	w8, [x8]
	orr	w8, w8, w0
Lloh8:
	adrp	x9, _X86_PG_V@GOTPAGE
Lloh9:
	ldr	x9, [x9, _X86_PG_V@GOTPAGEOFF]
Lloh10:
	ldr	w9, [x9]
	orr	w8, w8, w9
	str	w8, [x21, x20, lsl #2]
LBB0_3:
	bl	_PHYS_TO_DMAP
	mov	x20, x0
	mov	x0, x19
	bl	_pmap_pdpe_index
	ldr	w8, [x20, x0, lsl #2]
	cbz	w8, LBB0_5
; %bb.4:
	ldr	w9, [x22]
	bic	w0, w8, w9
	b	LBB0_6
LBB0_5:
	mov	x21, x0
	bl	_efi_1t1_page
	bl	_VM_PAGE_TO_PHYS
Lloh11:
	adrp	x8, _X86_PG_RW@GOTPAGE
Lloh12:
	ldr	x8, [x8, _X86_PG_RW@GOTPAGEOFF]
Lloh13:
	ldr	w8, [x8]
	orr	w8, w8, w0
Lloh14:
	adrp	x9, _X86_PG_V@GOTPAGE
Lloh15:
	ldr	x9, [x9, _X86_PG_V@GOTPAGEOFF]
Lloh16:
	ldr	w9, [x9]
	orr	w8, w8, w9
	str	w8, [x20, x21, lsl #2]
LBB0_6:
	bl	_PHYS_TO_DMAP
	mov	x20, x0
	mov	x0, x19
	bl	_pmap_pde_index
	ldr	w8, [x20, x0, lsl #2]
	cbz	w8, LBB0_8
; %bb.7:
	ldr	w9, [x22]
	bic	w0, w8, w9
	b	LBB0_9
LBB0_8:
	mov	x21, x0
	bl	_efi_1t1_page
	bl	_VM_PAGE_TO_PHYS
Lloh17:
	adrp	x8, _X86_PG_RW@GOTPAGE
Lloh18:
	ldr	x8, [x8, _X86_PG_RW@GOTPAGEOFF]
Lloh19:
	ldr	w8, [x8]
	orr	w8, w8, w0
Lloh20:
	adrp	x9, _X86_PG_V@GOTPAGE
Lloh21:
	ldr	x9, [x9, _X86_PG_V@GOTPAGEOFF]
Lloh22:
	ldr	w9, [x9]
	orr	w8, w8, w9
	str	w8, [x20, x21, lsl #2]
LBB0_9:
	bl	_PHYS_TO_DMAP
	mov	x20, x0
	mov	x0, x19
	bl	_pmap_pte_index
	add	x19, x20, w0, sxtw #3
	ldr	x1, [x19]
	cmp	x1, #0
	cset	w0, eq
	bl	_KASSERT
	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
	ret
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.cfi_endproc
                                        ; -- End function
	.comm	_efi_pml4,8,3                   ; @efi_pml4
	.comm	_X86_PG_RW,4,2                  ; @X86_PG_RW
	.comm	_X86_PG_V,4,2                   ; @X86_PG_V
	.comm	_PAGE_MASK,4,2                  ; @PAGE_MASK
	.no_dead_strip	_efi_1t1_pte
.subsections_via_symbols
