Searched refs:PerformanceInterrupt (Results 1 – 3 of 3) sorted by relevance
902 UINT32 PerformanceInterrupt; member
692 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (PerformanceInterrupt), "Performance Interrupt", 0},
548 printf("\tPERF INTR=%d\n", gicc->PerformanceInterrupt); in acpi_print_madt()