vcpu_get_timer    839 virt/kvm/arm/arch_timer.c 	val = kvm_arm_timer_read(vcpu, vcpu_get_timer(vcpu, tmr), treg);
vcpu_get_timer    878 virt/kvm/arm/arch_timer.c 	kvm_arm_timer_write(vcpu, vcpu_get_timer(vcpu, tmr), treg, val);