Searched refs:its_cpu_init (Results 1 – 3 of 3) sorted by relevance
621 int its_cpu_init(void);
1044 its_cpu_init(); in gic_starting_cpu()1578 its_cpu_init(); in gic_init_bases()
3779 int its_cpu_init(void) in its_cpu_init() function
