	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function construct_eptp
_construct_eptp:                        ## @construct_eptp
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	movq	_VMX_EPT_DEFAULT_GAW@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	_VMX_EPT_GAW_EPTP_SHIFT@GOTPCREL(%rip), %rcx
	movb	(%rcx), %cl
	shlq	%cl, %rax
	movq	_VMX_EPT_DEFAULT_MT@GOTPCREL(%rip), %rcx
	orq	(%rcx), %rax
	movq	_enable_ept_ad_bits@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
	testq	%rcx, %rcx
	je	LBB0_2
## %bb.1:
	movq	_VMX_EPT_AD_ENABLE_BIT@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
LBB0_2:
	movq	_PAGE_MASK@GOTPCREL(%rip), %rdx
	andq	(%rdx), %rdi
	orq	%rdi, %rax
	orq	%rcx, %rax
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_VMX_EPT_DEFAULT_MT,8,3         ## @VMX_EPT_DEFAULT_MT
	.comm	_VMX_EPT_DEFAULT_GAW,8,3        ## @VMX_EPT_DEFAULT_GAW
	.comm	_VMX_EPT_GAW_EPTP_SHIFT,8,3     ## @VMX_EPT_GAW_EPTP_SHIFT
	.comm	_enable_ept_ad_bits,8,3         ## @enable_ept_ad_bits
	.comm	_VMX_EPT_AD_ENABLE_BIT,8,3      ## @VMX_EPT_AD_ENABLE_BIT
	.comm	_PAGE_MASK,8,3                  ## @PAGE_MASK
	.no_dead_strip	_construct_eptp
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function construct_eptp
_construct_eptp:                        ; @construct_eptp
	.cfi_startproc
; %bb.0:
Lloh0:
	adrp	x8, _VMX_EPT_DEFAULT_MT@GOTPAGE
Lloh1:
	ldr	x8, [x8, _VMX_EPT_DEFAULT_MT@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
Lloh3:
	adrp	x9, _VMX_EPT_DEFAULT_GAW@GOTPAGE
Lloh4:
	ldr	x9, [x9, _VMX_EPT_DEFAULT_GAW@GOTPAGEOFF]
Lloh5:
	ldr	x9, [x9]
Lloh6:
	adrp	x10, _VMX_EPT_GAW_EPTP_SHIFT@GOTPAGE
Lloh7:
	ldr	x10, [x10, _VMX_EPT_GAW_EPTP_SHIFT@GOTPAGEOFF]
Lloh8:
	ldr	x10, [x10]
	lsl	x9, x9, x10
	orr	x8, x9, x8
Lloh9:
	adrp	x9, _enable_ept_ad_bits@GOTPAGE
Lloh10:
	ldr	x9, [x9, _enable_ept_ad_bits@GOTPAGEOFF]
Lloh11:
	ldr	x9, [x9]
Lloh12:
	adrp	x10, _VMX_EPT_AD_ENABLE_BIT@GOTPAGE
Lloh13:
	ldr	x10, [x10, _VMX_EPT_AD_ENABLE_BIT@GOTPAGEOFF]
Lloh14:
	ldr	x10, [x10]
	cmp	x9, #0
	csel	x9, xzr, x10, eq
	orr	x8, x8, x9
Lloh15:
	adrp	x9, _PAGE_MASK@GOTPAGE
Lloh16:
	ldr	x9, [x9, _PAGE_MASK@GOTPAGEOFF]
Lloh17:
	ldr	x9, [x9]
	and	x9, x9, x0
	orr	x0, x8, x9
	ret
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_VMX_EPT_DEFAULT_MT,8,3         ; @VMX_EPT_DEFAULT_MT
	.comm	_VMX_EPT_DEFAULT_GAW,8,3        ; @VMX_EPT_DEFAULT_GAW
	.comm	_VMX_EPT_GAW_EPTP_SHIFT,8,3     ; @VMX_EPT_GAW_EPTP_SHIFT
	.comm	_enable_ept_ad_bits,8,3         ; @enable_ept_ad_bits
	.comm	_VMX_EPT_AD_ENABLE_BIT,8,3      ; @VMX_EPT_AD_ENABLE_BIT
	.comm	_PAGE_MASK,8,3                  ; @PAGE_MASK
	.no_dead_strip	_construct_eptp
.subsections_via_symbols
