Symbol: VMCS_GUEST_IA32_EPTP
sys/arch/amd64/amd64/vmm_machdep.c
2681
if (vmwrite(VMCS_GUEST_IA32_EPTP, eptp)) {
sys/arch/amd64/amd64/vmm_machdep.c
7727
vmx_dump_vmcs_field(VMCS_GUEST_IA32_EPTP,