Symbol: acpi_ns_terminate
drivers/acpi/acpica/acnamesp.h
400
void acpi_ns_terminate(void);
drivers/acpi/acpica/utinit.c
274
acpi_ns_terminate();