static int kdbm_acpi(int argc, const char **argv, const char **envp, struct pt_regs *regs) { acpi_in_debugger = 1; acpi_db_user_commands(DB_COMMAND_PROMPT, NULL); acpi_in_debugger = 0; return 0; }
void ACPI_SYSTEM_XFACE acpi_db_execute_thread(void *context) { (void)acpi_db_user_commands(); acpi_gbl_db_threads_terminated = TRUE; }