9.114 nvmm_vcpu_inject

int nvmm_vcpu_inject(int machine_id, int cpu_id, void *injected);

This syscall injects VCPU data 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.