Searched refs:gic_base (Results 1 – 1 of 1) sorted by relevance
197 paddr_t gic_base = 0; in boot_primary_init_intc() local202 if (get_gic_base_addr_from_dt(&gic_base)) in boot_primary_init_intc()205 gic_base = GIC_BASE; in boot_primary_init_intc()208 gic_init(gic_base + gicc_offset, gic_base + gicd_offset); in boot_primary_init_intc()