Searched refs:GUEST_PHYSICAL_ADDRESS (Results 1 – 2 of 2) sorted by relevance
125 GUEST_PHYSICAL_ADDRESS = 0x00002400, enumerator
3574 (long unsigned int)vmcs_read64(GUEST_PHYSICAL_ADDRESS), in handle_ept_violation()3583 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_violation()3655 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_misconfig()