Searched refs:gic_base (Results 1 – 1 of 1) sorted by relevance
205 paddr_t gic_base = 0; in main_init_gic() local210 if (get_gic_base_addr_from_dt(&gic_base)) in main_init_gic()213 gic_base = GIC_BASE; in main_init_gic()219 gic_init_base_addr(&gic_data, gic_base + gicc_offset, in main_init_gic()220 gic_base + gicd_offset); in main_init_gic()223 gic_init(&gic_data, gic_base + gicc_offset, gic_base + gicd_offset); in main_init_gic()
Completed in 2 milliseconds