CPTR_EL2
u64 cptr = __vcpu_sys_reg(vcpu, CPTR_EL2);
.index = CPTR_EL2,
.index = CPTR_EL2,
vcpu_set_reg(vcpu, rt, __vcpu_sys_reg(vcpu, CPTR_EL2));
vcpu_write_sys_reg(vcpu, vcpu_get_reg(vcpu, rt), CPTR_EL2);
write_sysreg_el1(__vcpu_sys_reg(vcpu, CPTR_EL2), SYS_CPACR);
val = translate_cptr_el2_to_cpacr_el1(__vcpu_sys_reg(vcpu, CPTR_EL2));
MAPPED_EL2_SYSREG(CPTR_EL2, CPACR_EL1,
EL2_REG(CPTR_EL2, access_rw, reset_val, CPTR_NVHE_EL2_RES1),
SYS_REG(CPTR_EL2),
MAPPED_EL2_SYSREG(CPTR_EL2, CPACR_EL1);