/* SPDX-License-Identifier: GPL-2.0-only */
#ifndef IO_PGTABLE_ARM_H_
#define IO_PGTABLE_ARM_H_

#define ARM_LPAE_TCR_TG0_4K             0
#define ARM_LPAE_TCR_TG0_64K            1
#define ARM_LPAE_TCR_TG0_16K            2

#define ARM_LPAE_TCR_TG1_16K            1
#define ARM_LPAE_TCR_TG1_4K             2
#define ARM_LPAE_TCR_TG1_64K            3

#define ARM_LPAE_TCR_SH_NS              0
#define ARM_LPAE_TCR_SH_OS              2
#define ARM_LPAE_TCR_SH_IS              3

#define ARM_LPAE_TCR_RGN_NC             0
#define ARM_LPAE_TCR_RGN_WBWA           1
#define ARM_LPAE_TCR_RGN_WT             2
#define ARM_LPAE_TCR_RGN_WB             3

#define ARM_LPAE_TCR_PS_32_BIT          0x0ULL
#define ARM_LPAE_TCR_PS_36_BIT          0x1ULL
#define ARM_LPAE_TCR_PS_40_BIT          0x2ULL
#define ARM_LPAE_TCR_PS_42_BIT          0x3ULL
#define ARM_LPAE_TCR_PS_44_BIT          0x4ULL
#define ARM_LPAE_TCR_PS_48_BIT          0x5ULL
#define ARM_LPAE_TCR_PS_52_BIT          0x6ULL

#endif /* IO_PGTABLE_ARM_H_ */