Searched refs:VgicInterrupt (Results 1 – 3 of 3) sorted by relevance
1200 UINT32 VgicInterrupt; member
753 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (VgicInterrupt), "Virtual GIC Interrupt", 0},
1150 printf("\tVGIC INTR=%d\n", gicc->VgicInterrupt); in acpi_print_madt()