int nvmm_vcpu_setstate(int machine_id, int cpu_id, uint64_t setting, void *addr);
This syscall instructs the machine to load values into the VCPU as requested
with setting, and 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.