Searched refs:GUEST_PHYSICAL_ADDRESS (Results 1 – 2 of 2) sorted by relevance
173 GUEST_PHYSICAL_ADDRESS = 0x00002400, enumerator
648 GUEST_PHYSICAL_ADDRESS721 FIELD64(GUEST_PHYSICAL_ADDRESS, guest_physical_address),5890 (long unsigned int)vmcs_read64(GUEST_PHYSICAL_ADDRESS), in handle_ept_violation()5910 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_violation()5930 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_misconfig()