9.108 nvmm_machine_configure

int nvmm_machine_configure(int machine_id, uint64_t setting, void *argument);

This syscall configures the virtual machine 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 does not exist, or the setting is not valid.

EFAULT

The argument was not pointing to valid memory.