Index: kernel/generic/include/ps/taskinfo.h
===================================================================
--- kernel/generic/include/ps/taskinfo.h	(revision 36b5b0f4924a92f9251ada2ed3d412d51f4eb621)
+++ kernel/generic/include/ps/taskinfo.h	(revision 7a3ccbc6e1c0aa8975d8336895a58f02c44c4808)
@@ -48,5 +48,5 @@
 	task_id_t taskid;
 	char name[TASK_NAME_BUFLEN];
-	size_t pages;
+	uint64_t virt_mem;
 	int thread_count;
 	uint64_t ucycles;