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