Searched refs:EFI_PEI_PCD_PPI_GET_16 (Results 1 - 1 of 1) sorted by relevance
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Ppi/ | ||
H A D | PiPcd.h | 86 (EFIAPI *EFI_PEI_PCD_PPI_GET_16)( typedef 414 EFI_PEI_PCD_PPI_GET_16 Get16; |
Completed in 134 milliseconds