9.111 nvmm_vcpu_configure

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:

ENOTSUPP

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

EINVAL

The passed machine id or cpu does not exist, or the setting is not valid.

EFAULT

The argument was not pointing to valid memory.