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