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