}
ACPI_DEBUG_PRINT ((ACPI_DB_INTERRUPTS,
- "Read GPE Register at GPE%X: Status=%02X, Enable=%02X\n",
- gpe_register_info->base_gpe_number, status_reg, enable_reg));
+ "GPE pair: Status %8.8X%8.8X = %02X, Enable %8.8X%8.8X = %02X\n",
+ ACPI_FORMAT_UINT64 (
+ gpe_register_info->status_address.address),
+ status_reg,
+ ACPI_FORMAT_UINT64 (
+ gpe_register_info->enable_address.address),
+ enable_reg));
/* First check if there is anything active at all in this register */