acpi_db_execute_thread  240 drivers/acpi/acpica/acdebug.h void ACPI_SYSTEM_XFACE acpi_db_execute_thread(void *context);
acpi_db_execute_thread  448 drivers/acpi/acpica/dbxface.c 					 acpi_db_execute_thread, NULL);