Searched refs:gicr_base_cpu (Results 1 – 1 of 1) sorted by relevance
281 static inline void *gicr_base_cpu(void *redist_base, uint32_t cpu) in gicr_base_cpu() function295 redist_base_cpu = gicr_base_cpu(redist_base, cpu); in gicv3_cpu_init()