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, with the following errno:
ENOTSUPPThe current hardware or Ironclad does not support hardware-accelerated virtualization, thus NVMM capability is not available.