Searched refs:PerformanceInterrupt (Results 1 – 4 of 4) sorted by relevance
91 intr->PerformanceInterrupt, in madt_handler()96 intr->PerformanceInterrupt, 1); in madt_handler()
1303 UINT32 PerformanceInterrupt; member
856 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (PerformanceInterrupt), "Performance Interrupt", 0},
563 printf("\tPERF INTR=%d\n", gicc->PerformanceInterrupt); in acpi_print_madt()