Symbol: kvm_riscv_reset_vcpu
arch/riscv/kvm/vcpu.c
173
kvm_riscv_reset_vcpu(vcpu, false);
arch/riscv/kvm/vcpu.c
516
kvm_riscv_reset_vcpu(vcpu, false);
arch/riscv/kvm/vcpu.c
714
kvm_riscv_reset_vcpu(vcpu, true);