kvm_riscv_aia_destroy_vm
void kvm_riscv_aia_destroy_vm(struct kvm *kvm);
kvm_riscv_aia_destroy_vm(kvm);