|
@@ -201,14 +201,6 @@ static LIST_HEAD(ipmmu_devices);
|
|
|
#define ARM_VMSA_PTE_ATTRINDX_SHIFT 2
|
|
|
#define ARM_VMSA_PTE_nG (((pteval_t)1) << 11)
|
|
|
|
|
|
-/* Stage-2 PTE */
|
|
|
-#define ARM_VMSA_PTE_HAP_FAULT (((pteval_t)0) << 6)
|
|
|
-#define ARM_VMSA_PTE_HAP_READ (((pteval_t)1) << 6)
|
|
|
-#define ARM_VMSA_PTE_HAP_WRITE (((pteval_t)2) << 6)
|
|
|
-#define ARM_VMSA_PTE_MEMATTR_OIWB (((pteval_t)0xf) << 2)
|
|
|
-#define ARM_VMSA_PTE_MEMATTR_NC (((pteval_t)0x5) << 2)
|
|
|
-#define ARM_VMSA_PTE_MEMATTR_DEV (((pteval_t)0x1) << 2)
|
|
|
-
|
|
|
#define ARM_VMSA_PTE_CONT_ENTRIES 16
|
|
|
#define ARM_VMSA_PTE_CONT_SIZE (PAGE_SIZE * ARM_VMSA_PTE_CONT_ENTRIES)
|
|
|
|