void platform_init_interrupts(void) { mt_gic_dist_init(); mt_gic_cpu_init(); }
void __cpuinit mt_gic_secondary_init(void) { mt_gic_cpu_init(); }