add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/include/linux/intel-iommu.h
..
..
@@ -576,7 +576,7 @@
576
576
 	u64		ecap;
577
577
 	u64		vccap;
578
578
 	u32		gcmd; /* Holds TE, EAFL. Don't need SRTP, SFL, WBF */
579
-	raw_spinlock_t	register_lock; /* protect register handling */
579
+	hard_spinlock_t	register_lock; /* protect register handling */
580
580
 	int		seq_id;	/* sequence id of the iommu */
581
581
 	int		agaw; /* agaw of this iommu */
582
582
 	int		msagaw; /* max sagaw of this iommu */