Searched refs:VgicInterrupt (Results 1 – 4 of 4) sorted by relevance
| /freebsd/sys/arm64/arm64/ |
| H A D | gic_v3_acpi.c | 158 if (intr->VgicInterrupt == 0) in rdist_map()
|
| /freebsd/sys/contrib/dev/acpica/common/ |
| H A D | dmtbinfo2.c | 860 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (VgicInterrupt), "Virtual GIC Interrupt", 0},
888 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (VgicInterrupt), "Virtual GIC Interrupt", 0},
917 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (VgicInterrupt), "Virtual GIC Interrupt", 0},
|
| /freebsd/sys/contrib/dev/acpica/include/ |
| H A D | actbl2.h | 1411 UINT32 VgicInterrupt; member
|
| /freebsd/usr.sbin/acpi/acpidump/ |
| H A D | acpi.c | 569 printf("\tVGIC INTR=%d\n", gicc->VgicInterrupt); in acpi_print_madt()
|