Searched refs:GicvBaseAddress (Results 1 – 3 of 3) sorted by relevance
| /netbsd/src/sys/external/bsd/acpica/dist/common/ |
| D | dmtbinfo2.c | 858 {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicvBaseAddress), "Virtual GIC Base Address", 0},
886 {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicvBaseAddress), "Virtual GIC Base Address", 0},
915 {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicvBaseAddress), "Virtual GIC Base Address", 0},
|
| /netbsd/src/sys/external/bsd/acpica/dist/include/ |
| D | actbl2.h | 1409 UINT64 GicvBaseAddress; member
|
| /netbsd/src/usr.sbin/acpitools/acpidump/ |
| D | acpi.c | 1148 printf("\tGICV=%016jx\n", (uintmax_t)gicc->GicvBaseAddress); in acpi_print_madt()
|