Searched refs:gicc_offset (Results 1 – 1 of 1) sorted by relevance
206 uint32_t gicc_offset = 0; in main_init_gic() local215 get_gic_offset(&gicc_offset, &gicd_offset); in main_init_gic()219 gic_init_base_addr(&gic_data, gic_base + gicc_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