Next: nvmm_machine_configure, Previous: nvmm_machine_create, Up: Syscalls   [Contents]

9.107 nvmm_machine_destroy ¶

void nvmm_machine_destroy(int machine_id);

This syscall destroys a virtual machine, and returns 0 on success, or -1 on failure.

ENOTSUPP

The current hardware or Ironclad does not support hardware-accelerated virtualization, thus NVMM capability is not available.

EINVAL

The passed machine id does not exist, or the setting is not valid.