9.124 nvmm_vcpu_stop ¶

int nvmm_vcpu_stop(int machine_id, int cpu_id);

This syscall stops a foreign VCPU that is blocking until execution is stopped, returns 0 on success, or -1 on failure.