Searched refs:GicvBaseAddress (Results 1 – 3 of 3) sorted by relevance
905 UINT64 GicvBaseAddress; member
695 {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicvBaseAddress), "Virtual GIC Base Address", 0},
552 printf("\tGICV=%016jx\n", (uintmax_t)gicc->GicvBaseAddress); in acpi_print_madt()