===================================================================
RCS file: /cvs/prex-old/include/prex/sysinfo.h,v
retrieving revision 1.1.1.1
retrieving revision 1.1.1.1.2.1
diff -u -r1.1.1.1 -r1.1.1.1.2.1
--- prex-old/include/prex/sysinfo.h	2008/06/03 10:38:44	1.1.1.1
+++ prex-old/include/prex/sysinfo.h	2008/08/13 17:12:27	1.1.1.1.2.1
@@ -55,7 +55,6 @@
 struct info_memory {
 	size_t	total;		/* total memory size in bytes */
 	size_t	free;		/* current free memory size in bytes */
-	size_t	kernel;		/* memory size used by kernel in bytes */
 };
 
 /*
@@ -63,26 +62,14 @@
  */
 struct info_thread {
 	u_long	cookie;		/* index cookie - 0 for first thread */
-	int	state;		/* thread state */
 	int	policy;		/* scheduling policy */
 	int	prio;		/* current priority */
-	int	base_prio;	/* base priority */
-	int	suspend_count;	/* suspend counter */
-	u_int	total_ticks;	/* total running ticks */
-	thread_t id;		/* thread id */
+	u_int	time;		/* total running time */
 	task_t	task;		/* task id */
-	char	task_name[MAXTASKNAME];	/* task name */
-	char	sleep_event[MAXEVTNAME]; /* sleep event */
+	char	taskname[MAXTASKNAME];	/* task name */
+	char	slpevt[MAXEVTNAME];	/* sleep event */
 };
 
-#ifndef KERNEL
-/* Thread state */
-#define TH_RUN		0x00	/* running or ready to run */
-#define TH_SLEEP	0x01	/* sleep for events */
-#define TH_SUSPEND	0x02	/* suspend count is not 0 */
-#define TH_EXIT		0x04	/* terminated */
-#endif
-
 /*
  * Device information
  */
@@ -90,7 +77,7 @@
 	u_long	cookie;		/* index cookie - 0 for first thread */
 	device_t id;		/* device id */
 	int	flags;		/* device characteristics flags */
-	char	name[MAXDEVNAME];
+	char	name[MAXDEVNAME]; /* device name */
 };
 
 /*