KVM_REG_ARM_TIMER_CNT
case KVM_REG_ARM_TIMER_CNT:
idx = KVM_REG_ARM_TIMER_CNT;
vcpu_set_reg(vcpu, KVM_REG_ARM_TIMER_CNT, cnt);
KVM_REG_ARM_TIMER_CNT,