Searched refs:gic_init (Results 1 – 3 of 3) sorted by relevance
256 extern void gic_init(void);
797 gic_init(); in start_xen()
315 void __init gic_init(void) in gic_init() function
Completed in 7 milliseconds