Symbol: acpi_reset_system
usr/src/uts/i86pc/os/machdep.c
463
extern void acpi_reset_system();
usr/src/uts/i86pc/os/machdep.c
481
acpi_reset_system();
usr/src/uts/i86pc/os/machdep.c
494
acpi_reset_system();
usr/src/uts/i86pc/os/machdep.c
501
acpi_reset_system();
usr/src/uts/intel/sys/acpica.h
170
extern void acpi_reset_system(void);