#define TCR_E0PD0		(UL(1) << 55)
#define TCR_E0PD1		(UL(1) << 56)
#define TCR_TCMA0		(UL(1) << 57)
#define TCR_TCMA1		(UL(1) << 58)

#ifdef CONFIG_IEE
#define TCR_HPD1		(UL(1) << 42)
#endif

/*
 * TTBR.
 */