kvm_riscv_aia_free_hgei
void kvm_riscv_aia_free_hgei(int cpu, int hgei);
kvm_riscv_aia_free_hgei(old_vsfile_cpu, old_vsfile_hgei);
kvm_riscv_aia_free_hgei(old_vsfile_cpu, old_vsfile_hgei);
kvm_riscv_aia_free_hgei(old_vsfile_cpu, old_vsfile_hgei);
kvm_riscv_aia_free_hgei(vcpu->cpu, new_vsfile_hgei);