519
519
ACPI_DEBUG_PRINT_RAW ((ACPI_DB_INIT,
521
521
(UINT32) GpeBlock->BlockBaseNumber,
522
522
(UINT32) (GpeBlock->BlockBaseNumber + (GpeBlock->GpeCount - 1)),
523
GpeDevice->Name.Ascii, GpeBlock->RegisterCount, InterruptNumber,
526
526
/* Update global count of currently available GPEs */