9.106 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.

EINVAL

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