Searched refs:S4BiosRequest (Results 1 – 4 of 4) sorted by relevance
354 (UINT32) AcpiGbl_FADT.S4BiosRequest, 8); in ACPI_EXPORT_SYMBOL()
377 … UINT8 S4BiosRequest; /* Value to write to SMI_CMD to enter S4BIOS state */ member
302 {ACPI_DMT_UINT8, ACPI_FADT_OFFSET (S4BiosRequest), "S4BIOS Command", 0},
2349 printf("S4BIOS_REQ=0x%x\n", fadt->S4BiosRequest); in acpi_print_fadt()