9.110 nvmm_vcpu_destroy

int nvmm_vcpu_create(int machine_id);

This syscall creates a virtual CPU attached to the passed machine, and returns the cpu id on success, or -1 on failure, with the following errno:

ENOTSUPP

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

ENOMEM

No resources were available for creating the VCPU.