Index: kernel/generic/include/ps/taskinfo.h
===================================================================
--- kernel/generic/include/ps/taskinfo.h	(revision 62550dcebaf6572f33fa63e95f98ecc3f61f4cec)
+++ kernel/generic/include/ps/taskinfo.h	(revision 6ec34bb5fad629f5f7a35c83be3989039bb8fba4)
@@ -46,4 +46,5 @@
 
 typedef struct {
+	task_id_t taskid;
 	char name[TASK_NAME_BUFLEN];
 	size_t pages;