9.114 nvmm_vcpu_run

int nvmm_vcpu_run(int machine_id, int cpu_id);

This syscall executes the VCPU and blocks until execution is stopped, returns 0 on success, or -1 on failure.