CTXDESC_CD_0_TCR_SH0
FIELD_PREP(CTXDESC_CD_0_TCR_SH0, ARM_LPAE_TCR_SH_IS));
CTXDESC_CD_0_TCR_SH0);
FIELD_PREP(CTXDESC_CD_0_TCR_SH0, tcr->sh) |