Searched refs:kvm_riscv_vcpu_sbi_system_reset (Results 1 – 3 of 3) sorted by relevance
160 kvm_riscv_vcpu_sbi_system_reset(vcpu, run, in kvm_sbi_ext_srst_handler()167 kvm_riscv_vcpu_sbi_system_reset(vcpu, run, in kvm_sbi_ext_srst_handler()
65 kvm_riscv_vcpu_sbi_system_reset(vcpu, run, in kvm_sbi_ext_v01_handler()
65 void kvm_riscv_vcpu_sbi_system_reset(struct kvm_vcpu *vcpu,