ACPI_DEBUGGER_COMMAND_PROMPT
acpi_os_printf("\n%1c ", ACPI_DEBUGGER_COMMAND_PROMPT);
ACPI_DEBUGGER_COMMAND_PROMPT);
if (*p == ACPI_DEBUGGER_COMMAND_PROMPT ||