__kvm_riscv_vcpu_power_off
void __kvm_riscv_vcpu_power_off(struct kvm_vcpu *vcpu);
__kvm_riscv_vcpu_power_off(vcpu);