Searched defs:gCpuIoPpi (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/CpuIoPei/
H A DCpuIoPei.c20 EFI_PEI_CPU_IO_PPI gCpuIoPpi = { variable
849 // Make CpuIo pointer in PeiService table point to gCpuIoPpi
851 (*((EFI_PEI_SERVICES **)PeiServices))->CpuIo = &gCpuIoPpi;
857 DEBUG ((EFI_D_INFO, "CpuIO PPI has been loaded into memory. Reinstalled PPI=0x%x\n", &gCpuIoPpi));

Completed in 34 milliseconds