Symbol: kvm_riscv_vcpu_get_reg_timer
arch/riscv/include/asm/kvm_vcpu_timer.h
39
int kvm_riscv_vcpu_get_reg_timer(struct kvm_vcpu *vcpu,
arch/riscv/kvm/vcpu_onereg.c
1034
return kvm_riscv_vcpu_get_reg_timer(vcpu, reg);