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)
169 GUEST_PHYSICAL_ADDRESS_HIGH = 0x00002401, enumerator
262 GUEST_PHYSICAL_ADDRESS_HIGH = 0x00002401, enumerator