ACPI_DB_IO
ACPI_DEBUG_PRINT((ACPI_DB_IO,
ACPI_DEBUG_PRINT((ACPI_DB_IO,
ACPI_DEBUG_PRINT((ACPI_DB_IO, "About to write %04X to %8.8X%8.8X\n",
ACPI_DEBUG_PRINT((ACPI_DB_IO,
ACPI_DEBUG_PRINT((ACPI_DB_IO,
ACPI_DEBUG_PRINT((ACPI_DB_IO,