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:
ENOTSUPPThe current hardware or Ironclad does not support hardware-accelerated virtualization, thus NVMM capability is not available.