+ if (result && (pid->nr != 1) &&
+ !vx_check(vx_task_xid(result), VX_WATCH|VX_ADMIN|VX_IDENT)) {
+ vxwprintk((type == PIDTYPE_PID) && (current->xid),
+ "pid_task(%d,%d): task %p[#%u,%u] did lookup %p[#%u,%u]",
+ pid->nr, type, current, vx_current_xid(), current->pid,
+ result, vx_task_xid(result), result->pid);
+ result = NULL;
+ }