+ vxdprintk(VXD_CBIT(misc, 4),
+ "vx_info_kill(%p[#%d],%d,%d) = %d",
+ vxi, vxi->vx_id, pid, sig, retval);
+ return retval;
+}
+
+int vc_ctx_kill(uint32_t id, void __user *data)
+{
+ int retval;
+ struct vcmd_ctx_kill_v0 vc_data;
+ struct vx_info *vxi;
+
+ if (!vx_check(0, VX_ADMIN))
+ return -ENOSYS;
+ if (copy_from_user (&vc_data, data, sizeof(vc_data)))
+ return -EFAULT;
+
+ vxi = lookup_vx_info(id);
+ if (!vxi)
+ return -ESRCH;
+
+ retval = vx_info_kill(vxi, vc_data.pid, vc_data.sig);