Searched defs:gicc_base (Results 1 – 2 of 2) sorted by relevance
353 void get_gic_offset(uint32_t *gicc_base, uint32_t *gicd_base) in get_gic_offset()389 static uint32_t gicc_base, gicd_base; in soc_platform_setup() local
164 uintptr_t gicc_base; member
