9.121 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, with the following errno:

ENOTSUPP

The current hardware or Ironclad does not support hardware-accelerated virtualization, thus NVMM capability is not available.