kvm_arm_timer_get_reg  151 arch/arm/kvm/guest.c 	val = kvm_arm_timer_get_reg(vcpu, reg->id);
kvm_arm_timer_get_reg  550 arch/arm64/kvm/guest.c 	val = kvm_arm_timer_get_reg(vcpu, reg->id);
kvm_arm_timer_get_reg   79 include/kvm/arm_arch_timer.h u64 kvm_arm_timer_get_reg(struct kvm_vcpu *, u64 regid);