|
@@ -295,8 +295,8 @@
|
|
|
#define IOMMU_PTE_IR (1ULL << 61)
|
|
|
#define IOMMU_PTE_IW (1ULL << 62)
|
|
|
|
|
|
-#define DTE_FLAG_IOTLB (0x01UL << 32)
|
|
|
-#define DTE_FLAG_GV (0x01ULL << 55)
|
|
|
+#define DTE_FLAG_IOTLB (1ULL << 32)
|
|
|
+#define DTE_FLAG_GV (1ULL << 55)
|
|
|
#define DTE_GLX_SHIFT (56)
|
|
|
#define DTE_GLX_MASK (3)
|
|
|
|