vcpu
u64 val = __vcpu_sys_reg(vcpu, CNTHCTL_EL2);
val = __vcpu_sys_reg(vcpu, HCR_EL2);
u64 val = __vcpu_sys_reg(vcpu, CPTR_EL2);