9.108 nvmm_vcpu_create

int nvmm_vcpu_create(int machine_id);

This syscall creates a virtual CPU attached to a machine, and returns a cpu ID, or -1 on failure.