Searched refs:TIMER_REG_CTL (Results 1 – 3 of 3) sorted by relevance
1131 kvm_arm_timer_write(vcpu, timer, TIMER_REG_CTL, value); in kvm_arm_timer_set_reg()1146 kvm_arm_timer_write(vcpu, timer, TIMER_REG_CTL, value); in kvm_arm_timer_set_reg()1188 vcpu_vtimer(vcpu), TIMER_REG_CTL); in kvm_arm_timer_get_reg()1197 vcpu_ptimer(vcpu), TIMER_REG_CTL); in kvm_arm_timer_get_reg()1220 case TIMER_REG_CTL: in kvm_arm_timer_read()1278 case TIMER_REG_CTL: in kvm_arm_timer_write()
1354 treg = TIMER_REG_CTL; in access_arch_timer()1362 treg = TIMER_REG_CTL; in access_arch_timer()1368 treg = TIMER_REG_CTL; in access_arch_timer()1373 treg = TIMER_REG_CTL; in access_arch_timer()1378 treg = TIMER_REG_CTL; in access_arch_timer()1383 treg = TIMER_REG_CTL; in access_arch_timer()
26 TIMER_REG_CTL, enumerator