Searched refs:EFI_VIRTUAL_ADDRESS (Results 1 – 5 of 5) sorted by relevance
134 typedef UINT64 EFI_VIRTUAL_ADDRESS; typedef188 EFI_VIRTUAL_ADDRESS VirtualStart; // Field size is 64 bits
49 typedef UINT64 EFI_VIRTUAL_ADDRESS; typedef
79 EFI_VIRTUAL_ADDRESS VirtualStart;