acpi_os_terminate_debugger  490 drivers/acpi/acpica/dbxface.c 		acpi_os_terminate_debugger();
acpi_os_terminate_debugger  357 include/acpi/acpiosxf.h void acpi_os_terminate_debugger(void);