add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/gpu/ipu-v3/ipu-common.c
..
..
@@ -1238,6 +1238,7 @@
1238
1238
 		ct->chip.irq_ack = irq_gc_ack_set_bit;
1239
1239
 		ct->chip.irq_mask = irq_gc_mask_clr_bit;
1240
1240
 		ct->chip.irq_unmask = irq_gc_mask_set_bit;
1241
+		ct->chip.flags = IRQCHIP_PIPELINE_SAFE;
1241
1242
 		ct->regs.ack = IPU_INT_STAT(i / 32);
1242
1243
 		ct->regs.mask = IPU_INT_CTRL(i / 32);
1243
1244
 	}