kvm_arm_timer_read   50 virt/kvm/arm/arch_timer.c static u64 kvm_arm_timer_read(struct kvm_vcpu *vcpu,
kvm_arm_timer_read  778 virt/kvm/arm/arch_timer.c 		return kvm_arm_timer_read(vcpu,
kvm_arm_timer_read  781 virt/kvm/arm/arch_timer.c 		return kvm_arm_timer_read(vcpu,
kvm_arm_timer_read  784 virt/kvm/arm/arch_timer.c 		return kvm_arm_timer_read(vcpu,
kvm_arm_timer_read  787 virt/kvm/arm/arch_timer.c 		return kvm_arm_timer_read(vcpu,
kvm_arm_timer_read  790 virt/kvm/arm/arch_timer.c 		return kvm_arm_timer_read(vcpu,
kvm_arm_timer_read  793 virt/kvm/arm/arch_timer.c 		return kvm_arm_timer_read(vcpu,
kvm_arm_timer_read  839 virt/kvm/arm/arch_timer.c 	val = kvm_arm_timer_read(vcpu, vcpu_get_timer(vcpu, tmr), treg);