Searched refs:PEI_CPU_IO_PPI_IO_WRITE64 (Results 1 – 2 of 2) sorted by relevance
147 (EFIAPI *PEI_CPU_IO_PPI_IO_WRITE64) ( typedef237 PEI_CPU_IO_PPI_IO_WRITE64 IoWrite64;
121 typedef PEI_CPU_IO_PPI_IO_WRITE64 EFI_PEI_CPU_IO_PPI_IO_WRITE64;