Searched refs:gicr_base_address (Results 1 – 2 of 2) sorted by relevance
1515 gicc->gicr_base_address = 0; in gicv3_make_hwdom_madt()1619 gic_acpi_add_rdist_region(processor->gicr_base_address, size, true); in gic_acpi_parse_cpu_redistributor()1631 if ( BAD_MADT_ENTRY(cpuif, end) || !cpuif->gicr_base_address ) in gic_acpi_get_madt_cpu_num()
783 u64 gicr_base_address; member
Completed in 10 milliseconds