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:
EINVALThe passed machine id does not exist, or the setting is not valid.
EFAULTThe argument was not pointing to valid memory.