Searched refs:gicd_offset (Results 1 – 1 of 1) sorted by relevance
207 uint32_t gicd_offset = 0; in main_init_gic() local215 get_gic_offset(&gicc_offset, &gicd_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