Symbol: AcpiOsPrintf
sys/dev/acpica/Osd/OsdDebug.c
121
AcpiOsPrintf("%1c ", ACPI_DEBUGGER_COMMAND_PROMPT);
sys/dev/acpica/Osd/OsdDebug.c
123
AcpiOsPrintf("%1c ", ACPI_DEBUGGER_EXECUTE_PROMPT);