Searched refs:k3_gic_init (Results 1 – 3 of 3) sorted by relevance
13 void k3_gic_init(void);
70 void k3_gic_init(void) in k3_gic_init() function
120 k3_gic_init(); in bl31_platform_setup()