Searched refs:S4BIOS_REQ (Results 1 - 2 of 2) sorted by relevance
/vbox/src/VBox/Devices/EFI/Firmware/OvmfPkg/AcpiTables/ | ||
H A D | Facp.aslc | 35 S4BIOS_REQ, // Value to write to SMI CMD port to enter the S4BIOS state
|
H A D | Platform.h | 35 #define S4BIOS_REQ 0x00 macro |
Completed in 440 milliseconds