--- linux-2.6.19.3-vs2.2.0-rc12.3.1/fs/proc/base.c	2007-02-14 23:12:14 +0100
+++ linux-2.6.19.3-vs2.2.0-rc12.3.1/fs/proc/base.c	2007-02-14 23:12:14 +0100
@@ -2297,9 +2297,10 @@
 	     task;
 	     task = next_tid(task), pos++) {
 		tid = vx_map_pid(task->pid);
-		/* FIXME: could go away now! */
+		/* FIXME: could go away now
 		if (!vx_proc_task_visible(task))
-			continue;
+			continue; */
+		WARN_ON(!vx_proc_task_visible(task));
 		if (proc_task_fill_cache(filp, dirent, filldir, task, tid) < 0) {
 			/* returning this tgid failed, save it as the first
 			 * pid for the next readir call */