Searched refs:gicv5_driver_init (Results 1 – 3 of 3) sorted by relevance
17 gicv5_driver_init(); in gic_init()
143 void __init gicv5_driver_init(void) in gicv5_driver_init() function
211 void gicv5_driver_init();