Searched refs:GichBaseAddress (Results 1 – 3 of 3) sorted by relevance
| /freebsd/sys/contrib/dev/acpica/common/ |
| H A D | dmtbinfo2.c | 927 … {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GichBaseAddress), "Hypervisor GIC Base Address", 0},
955 … {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GichBaseAddress), "Hypervisor GIC Base Address", 0},
984 … {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GichBaseAddress), "Hypervisor GIC Base Address", 0},
|
| /freebsd/sys/contrib/dev/acpica/include/ |
| H A D | actbl2.h | 1794 UINT64 GichBaseAddress; member
|
| /freebsd/usr.sbin/acpi/acpidump/ |
| H A D | acpi.c | 568 printf("\tGICH=%016jx\n", (uintmax_t)gicc->GichBaseAddress); in acpi_print_madt()
|