Searched defs:EFI_PEI_CPU_IO_PPI_MEM_READ64 (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Ppi/ | ||
| H A D | CpuIo.h | 308 (EFIAPI *EFI_PEI_CPU_IO_PPI_MEM_READ64)( typedef 418 EFI_PEI_CPU_IO_PPI_MEM_READ64 MemRead64; |
Completed in 69 milliseconds