Searched refs:GUEST_PHYSICAL_ADDRESS (Results 1 – 3 of 3) sorted by relevance
422 GUEST_PHYSICAL_ADDRESS = 0x00002400, enumerator
2209 __vmread(GUEST_PHYSICAL_ADDRESS, &veinfo->gpa); in vmx_vcpu_emulate_ve()4217 __vmread(GUEST_PHYSICAL_ADDRESS, &gpa); in vmx_vmexit_handler()4227 __vmread(GUEST_PHYSICAL_ADDRESS, &gpa); in vmx_vmexit_handler()
949 GUEST_PHYSICAL_ADDRESS,
Completed in 17 milliseconds