Searched refs:GUEST_PHYSICAL_ADDRESS (Results 1 – 3 of 3) sorted by relevance
405 GUEST_PHYSICAL_ADDRESS = 0x00002400, enumerator
2253 __vmread(GUEST_PHYSICAL_ADDRESS, &veinfo->gpa); in vmx_vcpu_emulate_ve()4049 __vmread(GUEST_PHYSICAL_ADDRESS, &gpa); in vmx_vmexit_handler()4059 __vmread(GUEST_PHYSICAL_ADDRESS, &gpa); in vmx_vmexit_handler()
916 GUEST_PHYSICAL_ADDRESS,
Completed in 15 milliseconds