void arm_gic_send_affinity_sgi(rt_uint64_t index, int irq, rt_uint32_t cpu_masks[], rt_uint64_t routing_mode) { rt_uint64_t i; rt_uint64_t int_id = (irq & 0xf) << 24; static rt_uint64_t masks_nrs = 0;/* Get last cpu affinity value */...