CPTR_EL2
CPTR_EL2, /* Architectural Feature Trap Register (EL2) */
u64 val = __vcpu_sys_reg(vcpu, CPTR_EL2);