Searched refs:get_gic_offset (Results 1 – 5 of 5) 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
69 void get_gic_offset(uint32_t *gicc_base, uint32_t *gicd_base);
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()