Exemplo n.º 1
0
void platform_init_interrupts(void)
{
	mt_gic_dist_init();
	mt_gic_cpu_init();
}
Exemplo n.º 2
0
void __cpuinit mt_gic_secondary_init(void)
{
    mt_gic_cpu_init();
}