1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 #ifndef IO_PGTABLE_ARM_H_ 3 #define IO_PGTABLE_ARM_H_ 4 5 #define ARM_LPAE_TCR_TG0_4K 0 6 #define ARM_LPAE_TCR_TG0_64K 1 7 #define ARM_LPAE_TCR_TG0_16K 2 8 9 #define ARM_LPAE_TCR_TG1_16K 1 10 #define ARM_LPAE_TCR_TG1_4K 2 11 #define ARM_LPAE_TCR_TG1_64K 3 12 13 #define ARM_LPAE_TCR_SH_NS 0 14 #define ARM_LPAE_TCR_SH_OS 2 15 #define ARM_LPAE_TCR_SH_IS 3 16 17 #define ARM_LPAE_TCR_RGN_NC 0 18 #define ARM_LPAE_TCR_RGN_WBWA 1 19 #define ARM_LPAE_TCR_RGN_WT 2 20 #define ARM_LPAE_TCR_RGN_WB 3 21 22 #define ARM_LPAE_TCR_PS_32_BIT 0x0ULL 23 #define ARM_LPAE_TCR_PS_36_BIT 0x1ULL 24 #define ARM_LPAE_TCR_PS_40_BIT 0x2ULL 25 #define ARM_LPAE_TCR_PS_42_BIT 0x3ULL 26 #define ARM_LPAE_TCR_PS_44_BIT 0x4ULL 27 #define ARM_LPAE_TCR_PS_48_BIT 0x5ULL 28 #define ARM_LPAE_TCR_PS_52_BIT 0x6ULL 29 30 #endif /* IO_PGTABLE_ARM_H_ */ 31