TCR_EL2_RES1
tcr |= TCR_EL2_RES1 | FIELD_PREP(TCR_EL2_PS_MASK, ips);
EL2_REG(TCR_EL2, access_rw, reset_val, TCR_EL2_RES1),