set_timer_reg     133 arch/arm/kvm/guest.c static int set_timer_reg(struct kvm_vcpu *vcpu, const struct kvm_one_reg *reg)
set_timer_reg     532 arch/arm64/kvm/guest.c static int set_timer_reg(struct kvm_vcpu *vcpu, const struct kvm_one_reg *reg)