Searched refs:EFI_VIRTUAL_ADDRESS (Results 1 – 3 of 3) sorted by relevance
142 typedef UINT64 EFI_VIRTUAL_ADDRESS; typedef200 EFI_VIRTUAL_ADDRESS VirtualStart; // Field size is 64 bits
54 typedef UINT64 EFI_VIRTUAL_ADDRESS; typedef
138 EFI_VIRTUAL_ADDRESS VirtualStart;