Symbol: hcall_destroy_vm
drivers/virt/acrn/vm.c
44
hcall_destroy_vm(vm_param->vmid);
drivers/virt/acrn/vm.c
67
ret = hcall_destroy_vm(vm->vmid);