Searched refs:GichBaseAddress (Results 1 – 3 of 3) sorted by relevance
1307 UINT64 GichBaseAddress; member
860 … {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GichBaseAddress), "Hypervisor GIC Base Address", 0},
568 printf("\tGICH=%016jx\n", (uintmax_t)gicc->GichBaseAddress); in acpi_print_madt()