Searched refs:GicrBaseAddress (Results 1 – 3 of 3) sorted by relevance
156 SYS_RES_MEMORY, madt_data->count, intr->GicrBaseAddress, in rdist_map()
908 UINT64 GicrBaseAddress; member
698 … {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicrBaseAddress), "Redistributor Base Address", 0},