Searched refs:gicc_offset (Results 1 – 1 of 1) sorted by relevance
198 uint32_t gicc_offset = 0; in boot_primary_init_intc() local207 get_gic_offset(&gicc_offset, &gicd_offset); in boot_primary_init_intc()208 gic_init(gic_base + gicc_offset, gic_base + gicd_offset); in boot_primary_init_intc()