kvm_arm_timer_write   46 virt/kvm/arm/arch_timer.c static void kvm_arm_timer_write(struct kvm_vcpu *vcpu,
kvm_arm_timer_write  734 virt/kvm/arm/arch_timer.c 		kvm_arm_timer_write(vcpu, timer, TIMER_REG_CTL, value);
kvm_arm_timer_write  742 virt/kvm/arm/arch_timer.c 		kvm_arm_timer_write(vcpu, timer, TIMER_REG_CVAL, value);
kvm_arm_timer_write  746 virt/kvm/arm/arch_timer.c 		kvm_arm_timer_write(vcpu, timer, TIMER_REG_CTL, value);
kvm_arm_timer_write  750 virt/kvm/arm/arch_timer.c 		kvm_arm_timer_write(vcpu, timer, TIMER_REG_CVAL, value);
kvm_arm_timer_write  878 virt/kvm/arm/arch_timer.c 	kvm_arm_timer_write(vcpu, vcpu_get_timer(vcpu, tmr), treg, val);