Searched refs:EFI_PEI_PCD_PPI_SET_32 (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Ppi/ | ||
| H A D | PiPcd.h | 236 (EFIAPI *EFI_PEI_PCD_PPI_SET_32)( typedef 422 EFI_PEI_PCD_PPI_SET_32 Set32; |
Completed in 42 milliseconds