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:
ENOTSUPPThe current hardware or Ironclad does not support hardware-accelerated virtualization, thus NVMM capability is not available.
ENOMEMNo resources were available for creating the VCPU.