Symbol: acpi_md_s4bios
sys/arch/x86/acpi/acpi_wakeup.c
119
static int acpi_md_s4bios(void);
sys/arch/x86/acpi/acpi_wakeup.c
221
s4bios = acpi_md_s4bios();