9.109 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:

ENOMEM

No resources were available for creating the VCPU.