Searched refs:GicrBaseAddress (Results 1 – 3 of 3) sorted by relevance
908 UINT64 GicrBaseAddress; member
698 … {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicrBaseAddress), "Redistributor Base Address", 0},
544 (uintmax_t)gicc->GicrBaseAddress); in acpi_print_madt()