kvm_timer_update_run   76 include/kvm/arm_arch_timer.h void kvm_timer_update_run(struct kvm_vcpu *vcpu);
kvm_timer_update_run  857 virt/kvm/arm/arm.c 		kvm_timer_update_run(vcpu);