Cosmetic changes to microkernel task status flags
Revises names and/or descriptions to bring them up to date.
Change-Id: I5c1db102bfa0156526f1524084f5802e6df52a52
Signed-off-by: Allan Stephens <allan.stephens@windriver.com>
diff --git a/kernel/microkernel/include/minik.h b/kernel/microkernel/include/minik.h
index 1ca28c7..71ea4b2 100644
--- a/kernel/microkernel/include/minik.h
+++ b/kernel/microkernel/include/minik.h
@@ -173,25 +173,25 @@
#define TF_STOP 0x00000001 /* Not started */
#define TF_TERM 0x00000002 /* Terminated */
#define TF_SUSP 0x00000004 /* Suspended */
-#define TF_BLCK 0x00000008 /* Blocked by host server debugger */
+#define TF_BLCK 0x00000008 /* Blocked */
#define TF_GDBSTOP 0x00000010 /* Stopped by GDB agent */
#define TF_PRIO 0x00000020 /* Task priority is changing */
#define TF_TIME 0x00000800 /* Sleeping */
#define TF_DRIV 0x00001000 /* Waiting for arch specific driver */
-#define TF_DATA 0x00002000 /* Waiting for movedata to complete */
+#define TF_RES0 0x00002000 /* Reserved */
#define TF_EVNT 0x00004000 /* Waiting for an event */
#define TF_ENQU 0x00008000 /* Waiting to put data on a FIFO */
#define TF_DEQU 0x00010000 /* Waiting to get data from a FIFO */
-#define TF_SEND 0x00020000 /* Waiting to send via mbox or channel */
-#define TF_RECV 0x00040000 /* Waiting to recv via mbox or channel */
+#define TF_SEND 0x00020000 /* Waiting to send via mailbox or pipe */
+#define TF_RECV 0x00040000 /* Waiting to recv via mailbox or pipe */
#define TF_SEMA 0x00080000 /* Waiting for a semaphore */
#define TF_LIST 0x00100000 /* Waiting for a group of semaphores */
#define TF_LOCK 0x00200000 /* Waiting for a mutex */
#define TF_ALLO 0x00400000 /* Waiting on a memory mapping */
#define TF_GTBL 0x00800000 /* Waiting on a memory pool */
-#define TF_FIFO 0x01000000 /* Waiting on a remote FIFO operation */
-#define TF_NETW 0x02000000 /* Obsolete */
+#define TF_RES1 0x01000000 /* Reserved */
+#define TF_RES2 0x02000000 /* Reserved */
#define TF_RECVDATA 0x04000000 /* Waiting to receive data */
#define TF_SENDDATA 0x08000000 /* Waiting to send data */
