diff --git a/include/microkernel/k_struct.h b/include/microkernel/k_struct.h
index 886fafa5dbd..e1c37e2a9e5 100644
--- a/include/microkernel/k_struct.h
+++ b/include/microkernel/k_struct.h
@@ -180,13 +180,6 @@ struct k_mrec {
 
 /* target channels types: */
 
-typedef uint32_t TIME_TYPE;
-#define _ALLTIME ((TIME_TYPE)0x00FF0000)
-#define _TIME_NB ((TIME_TYPE)0x00010000)
-#define _TIME_B ((TIME_TYPE)0x00020000)
-#define _TIME_BT ((TIME_TYPE)0x00040000)
-
-
 struct pipe_struct {
 	int iBufferSize; /* size in bytes, must be first for sysgen */
 	char *Buffer;    /* pointer to statically allocated buffer  */
diff --git a/kernel/microkernel/include/kchan.h b/kernel/microkernel/include/kchan.h
index 1ef48c61701..03076e4437f 100644
--- a/kernel/microkernel/include/kchan.h
+++ b/kernel/microkernel/include/kchan.h
@@ -45,6 +45,12 @@ typedef uint32_t REQ_TYPE;
 #define _SYNCREQL ((REQ_TYPE)0x00000200)
 #define _ASYNCREQ ((REQ_TYPE)0x00000400)
 
+typedef uint32_t TIME_TYPE;
+#define _ALLTIME ((TIME_TYPE)0x00FF0000)
+#define _TIME_NB ((TIME_TYPE)0x00010000)
+#define _TIME_B  ((TIME_TYPE)0x00020000)
+#define _TIME_BT ((TIME_TYPE)0x00040000)
+
 /* K functions: */
 
 extern void K_ChSendReq(struct k_args *ReqOrig);