CPTR_NVHE_EL2_RES1
u64 val = CPTR_NVHE_EL2_RES1;
u64 val = CPTR_NVHE_EL2_RES1 | CPTR_EL2_TAM | CPTR_EL2_TTA;
EL2_REG(CPTR_EL2, access_rw, reset_val, CPTR_NVHE_EL2_RES1),