int nvmm_vcpu_configure(int machine_id, int cpu_id, uint64_t setting, void *argument);
This syscall configures the passed virtual machine’s cpu with the passed
settings, 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.
EINVALThe passed machine id or cpu does not exist, or the setting is not valid.
EFAULTThe argument was not pointing to valid memory.