Searched refs:TIMER_REG_CNT (Results 1 – 2 of 2) sorted by relevance
20 TIMER_REG_CNT, enumerator
889 vcpu_vtimer(vcpu), TIMER_REG_CNT); in kvm_arm_timer_get_reg()898 vcpu_ptimer(vcpu), TIMER_REG_CNT); in kvm_arm_timer_get_reg()926 case TIMER_REG_CNT: in kvm_arm_timer_read()
Completed in 6 milliseconds