Searched refs:gPeiDefaultCpuIoPpi (Results 1 – 3 of 3) sorted by relevance
26 EFI_PEI_CPU_IO_PPI gPeiDefaultCpuIoPpi = { variable
58 &gPeiDefaultCpuIoPpi,
1637 extern EFI_PEI_CPU_IO_PPI gPeiDefaultCpuIoPpi;