Searched refs:VMCS_EPTP (Results 1 – 3 of 3) sorted by relevance
152 #define VMCS_EPTP 0x0000201A macro
1170 error += vmwrite(VMCS_EPTP, vmx->eptp); in vmx_vcpu_init()
1711 error = vm_get_vmcs_field(vcpu, VMCS_EPTP, &eptp); in bhyvectl_md_main()