Searched refs:GicrBaseAddress (Results 1 – 2 of 2) sorted by relevance
1315 UINT64 GicrBaseAddress; member
860 … {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicrBaseAddress), "Redistributor Base Address", 0},