Searched refs:gic_preinit (Results 1 – 3 of 3) sorted by relevance
254 extern void gic_preinit(void);
782 gic_preinit(); in start_xen()
306 void __init gic_preinit(void) in gic_preinit() function
Completed in 6 milliseconds