s4_bios_request   168 drivers/acpi/acpica/hwxfsleep.c 				    (u32)acpi_gbl_FADT.s4_bios_request, 8);
s4_bios_request   209 include/acpi/actbl.h 	u8 s4_bios_request;	/* Value to write to SMI_CMD to enter S4BIOS state */