void arm_gic_set_router_cpu(rt_uint64_t index, int irq, rt_uint64_t aff); void arm_gic_set_cpu(rt_uint64_t index, int irq, unsigned int cpumask); rt_uint64_t arm_gic_get_target_cpu(rt_uint64_t index, int irq); Expand All@@ -55,7 +56,7 @@ rt_uint64_t arm_gic_g...