Searched refs:EFI_PEI_CPU_IO_PPI_MEM_READ32 (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Ppi/
H A DCpuIo.h289 (EFIAPI *EFI_PEI_CPU_IO_PPI_MEM_READ32)( typedef
417 EFI_PEI_CPU_IO_PPI_MEM_READ32 MemRead32;

Completed in 335 milliseconds