ACPI_DEBUGGER_EXECUTE_PROMPT
acpi_os_printf("\n%1c ", ACPI_DEBUGGER_EXECUTE_PROMPT);
*p == ACPI_DEBUGGER_EXECUTE_PROMPT) {