TCR_T0SZ
__cpu_set_tcr_t0sz(TCR_T0SZ(IDMAP_VA_BITS));
__cpu_set_tcr_t0sz(TCR_T0SZ(vabits_actual));
tcr |= TCR_T0SZ(hyp_va_bits);
*t0sz = TCR_T0SZ(max_msb + 1);
tcr_el1 |= TCR_T0SZ(vm->va_bits);