diff -NurpP --minimal linux-2.6.27.6-vs2.3.0.36.1/kernel/signal.c linux-2.6.27.6-vs2.3.0.36.1.1/kernel/signal.c --- linux-2.6.27.6-vs2.3.0.36.1/kernel/signal.c 2008-11-20 15:05:42.000000000 +0100 +++ linux-2.6.27.6-vs2.3.0.36.1.1/kernel/signal.c 2008-11-22 01:28:48.000000000 +0100 @@ -1163,6 +1163,11 @@ static int kill_something_info(int sig, struct task_struct * p; for_each_process(p) { + vxdprintk(VXD_CBIT(misc, 7), + "kill_something_info(%d,{%d,%d},[#%u,%u]) %p[#%u,%u] %d", + sig, info ? info->si_signo : 0, info ? info->si_code : 0, + vx_current_xid(), pid, p, vx_task_xid(p), p->pid, + vx_check(vx_task_xid(p), VS_ADMIN|VS_IDENT)); if (vx_check(vx_task_xid(p), VS_ADMIN|VS_IDENT) && task_pid_vnr(p) > 1 && !same_thread_group(p, current) &&