Lines Matching defs:void

43 void k3_gic_driver_init(uintptr_t gic_base)
73 void k3_gic_init(void)
80 void k3_gic_cpuif_enable(void)
85 void k3_gic_cpuif_disable(void)
90 void k3_gic_pcpu_init(void)
95 void k3_gic_save_context(void)
103 void k3_gic_restore_context(void)