Searched refs:GUEST_PHYSICAL_ADDRESS_HIGH (Results 1 – 3 of 3) sorted by relevance
76 SHADOW_FIELD_RO(GUEST_PHYSICAL_ADDRESS_HIGH, guest_physical_address)
214 GUEST_PHYSICAL_ADDRESS_HIGH = 0x00002401, enumerator
225 GUEST_PHYSICAL_ADDRESS_HIGH = 0x00002401, enumerator