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