kvm_arm_timer_set_reg  143 arch/arm/kvm/guest.c 	return kvm_arm_timer_set_reg(vcpu, reg->id, val);
kvm_arm_timer_set_reg  542 arch/arm64/kvm/guest.c 	return kvm_arm_timer_set_reg(vcpu, reg->id, val);
kvm_arm_timer_set_reg   80 include/kvm/arm_arch_timer.h int kvm_arm_timer_set_reg(struct kvm_vcpu *, u64 regid, u64 value);