acpi_tb_terminate  104 drivers/acpi/acpica/actables.h void acpi_tb_terminate(void);
acpi_tb_terminate  278 drivers/acpi/acpica/utinit.c 	acpi_tb_terminate();