Searched refs:gicd_offset (Results 1 – 1 of 1) sorted by relevance
199 uint32_t gicd_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()