Searched refs:gic_spl_init (Results 1 – 2 of 2) sorted by relevance
32 void gic_spl_init(void);
93 gic_spl_init(void) in gic_spl_init() function