Searched refs:VMX_GUEST_PHYSICAL_ADDR_FULL (Results 1 – 5 of 5) sorted by relevance
110 gpa = exec_vmread64(VMX_GUEST_PHYSICAL_ADDR_FULL); in ept_violation_vmexit_handler()
298 __func__, exec_vmread64(VMX_GUEST_PHYSICAL_ADDR_FULL)); in ept_misconfig_vmexit_handler()
398 uint64_t l2_ept_violation_gpa = exec_vmread(VMX_GUEST_PHYSICAL_ADDR_FULL); in handle_l2_ept_violation()
284 VMX_GUEST_PHYSICAL_ADDR_FULL,
82 #define VMX_GUEST_PHYSICAL_ADDR_FULL 0x00002400U macro
Completed in 18 milliseconds