Searched defs:gicc_base (Results 1 – 4 of 4) sorted by relevance
23 void get_gic_offset(uint32_t *gicc_base, uint32_t *gicd_base) in get_gic_offset()
48 uint32_t gicc_base, gicd_base; in tsp_platform_setup() local
151 uint32_t gicc_base, gicd_base; in ls_bl31_platform_setup() local
152 uintptr_t gicc_base; member