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