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