Searched refs:get_gic_offset (Results 1 – 4 of 4) sorted by relevance
16 void get_gic_offset(uint32_t *gicc_base, uint32_t *gicd_base);
23 void get_gic_offset(uint32_t *gicc_base, uint32_t *gicd_base) in get_gic_offset() function
51 get_gic_offset(&gicc_base, &gicd_base); in tsp_platform_setup()
155 get_gic_offset(&gicc_base, &gicd_base); in ls_bl31_platform_setup()