Searched refs:EFI_PEI_S3_RESUME_PPI_RESTORE_CONFIG2 (Results 1 - 1 of 1) sorted by relevance
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Ppi/ | ||
H A D | S3Resume2.h | 74 (EFIAPI *EFI_PEI_S3_RESUME_PPI_RESTORE_CONFIG2)( typedef 87 EFI_PEI_S3_RESUME_PPI_RESTORE_CONFIG2 S3RestoreConfig2; |
Completed in 53 milliseconds