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