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