Searched refs:EFI_VIRTUAL_ADDRESS (Results 1 – 1 of 1) sorted by relevance
154 typedef UINT64 EFI_VIRTUAL_ADDRESS; typedef221 EFI_VIRTUAL_ADDRESS VirtualStart; // Field size is 64 bits