update_vtimer_cntvoff  697 virt/kvm/arm/arch_timer.c 	update_vtimer_cntvoff(vcpu, kvm_phys_timer_read());
update_vtimer_cntvoff  738 virt/kvm/arm/arch_timer.c 		update_vtimer_cntvoff(vcpu, kvm_phys_timer_read() - value);