Searched refs:GUEST_PHYSICAL_ADDRESS_HIGH (Results 1 – 3 of 3) sorted by relevance
74 SHADOW_FIELD_RO(GUEST_PHYSICAL_ADDRESS_HIGH)
216 GUEST_PHYSICAL_ADDRESS_HIGH = 0x00002401, enumerator
222 GUEST_PHYSICAL_ADDRESS_HIGH = 0x00002401, enumerator