linux/drivers/iommu/io-pgtable-arm.h

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

#define ARM_LPAE_TCR_TG0_4K …
#define ARM_LPAE_TCR_TG0_64K …
#define ARM_LPAE_TCR_TG0_16K …

#define ARM_LPAE_TCR_TG1_16K …
#define ARM_LPAE_TCR_TG1_4K …
#define ARM_LPAE_TCR_TG1_64K …

#define ARM_LPAE_TCR_SH_NS …
#define ARM_LPAE_TCR_SH_OS …
#define ARM_LPAE_TCR_SH_IS …

#define ARM_LPAE_TCR_RGN_NC …
#define ARM_LPAE_TCR_RGN_WBWA …
#define ARM_LPAE_TCR_RGN_WT …
#define ARM_LPAE_TCR_RGN_WB …

#define ARM_LPAE_TCR_PS_32_BIT …
#define ARM_LPAE_TCR_PS_36_BIT …
#define ARM_LPAE_TCR_PS_40_BIT …
#define ARM_LPAE_TCR_PS_42_BIT …
#define ARM_LPAE_TCR_PS_44_BIT …
#define ARM_LPAE_TCR_PS_48_BIT …
#define ARM_LPAE_TCR_PS_52_BIT …

#endif /* IO_PGTABLE_ARM_H_ */