Symbol: acpi_reset
sys/arch/x86/x86/x86_machdep.c
1219
if (acpi_reset() == 0) {
sys/dev/acpi/acpivar.h
345
int acpi_reset(void);