Searched refs:get_gic_offset (Results 1 – 1 of 1) sorted by relevance
167 static void get_gic_offset(uint32_t *offsetc, uint32_t *offsetd) in get_gic_offset() function207 get_gic_offset(&gicc_offset, &gicd_offset); in boot_primary_init_intc()