9.113 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.