Symbol: AcpiOsPrintf
sys/dev/acpi/acpica/OsdMisc.c
317
AcpiOsPrintf ("%1c ", ACPI_DEBUGGER_COMMAND_PROMPT);
sys/dev/acpi/acpica/OsdMisc.c
321
AcpiOsPrintf ("%1c ", ACPI_DEBUGGER_EXECUTE_PROMPT);