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