Searched refs:EFI_PEI_S3_RESUME_PPI_RESTORE_CONFIG (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkPkg/Include/Ppi/ | ||
| H A D | S3Resume.h | 58 (EFIAPI *EFI_PEI_S3_RESUME_PPI_RESTORE_CONFIG)( typedef 71 EFI_PEI_S3_RESUME_PPI_RESTORE_CONFIG S3RestoreConfig; |
Completed in 43 milliseconds