acpi_ut_terminate   20 drivers/acpi/acpica/utinit.c static void acpi_ut_terminate(void);
acpi_ut_terminate  282 drivers/acpi/acpica/utinit.c 	acpi_ut_terminate();