acpi_os_printf
void acpi_os_printf(const char *fmt, ...)
void ACPI_INTERNAL_VAR_XFACE acpi_os_printf(const char *fmt, ...)
