Symbol: acpi_tb_terminate
drivers/acpi/acpica/actables.h
108
void acpi_tb_terminate(void);
drivers/acpi/acpica/utinit.c
278
acpi_tb_terminate();