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