ARM_LPAE_TCR_SH_IS
FIELD_PREP(CTXDESC_CD_0_TCR_SH0, ARM_LPAE_TCR_SH_IS));
vtcr->sh = ARM_LPAE_TCR_SH_IS;
tcr->sh = ARM_LPAE_TCR_SH_IS;