Searched refs:GicvBaseAddress (Results 1 – 3 of 3) sorted by relevance
| /freebsd/sys/contrib/dev/acpica/common/ |
| H A D | dmtbinfo2.c | 926 {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicvBaseAddress), "Virtual GIC Base Address", 0},
954 {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicvBaseAddress), "Virtual GIC Base Address", 0},
983 {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicvBaseAddress), "Virtual GIC Base Address", 0},
|
| /freebsd/sys/contrib/dev/acpica/include/ |
| H A D | actbl2.h | 1793 UINT64 GicvBaseAddress; member
|
| /freebsd/usr.sbin/acpi/acpidump/ |
| H A D | acpi.c | 567 printf("\tGICV=%016jx\n", (uintmax_t)gicc->GicvBaseAddress); in acpi_print_madt()
|