$(INC_DIR)/core/que.h \
$(INC_DIR)/core/rdq.h \
$(INC_DIR)/core/sys.h \
+ $(INC_DIR)/core/tim.h \
$(INC_DIR)/core/tmq.h \
$(INC_DIR)/core/toq.h \
$(INC_DIR)/core/dpc.h
MPFOBJ_HEADERS = $(INC_DIR)/object/mpfobj.h
-TIMOBJ_HEADERS = $(INC_DIR)/object/timobj.h
+TIMOBJ_HEADERS =
INHOBJ_HEADERS = $(INC_DIR)/object/inhobj.h
#endif
+typedef _KERNEL_T_MTXHDL _KERNEL_TSK_T_MTXHDL;
+typedef _KERNEL_T_MTXHDL _KERNEL_TCB_T_MTXHDL;
+#define _KERNEL_TCB_TBITDEF_MTXHDL
+
+
/* %jp{タスクデータ}%en{Task data} */
#if _KERNEL_TCB_BITFIELD /* %jp{TCBにビットフィールドを利用する場合} */
_KERNEL_TCB_T_SUSCNT suscnt _KERNEL_TCB_TBITDEF_SUSCNT; /**< %jp{強制待ち要求ネスト回数}%en{Suspension count} */
#endif
+#if _KERNEL_TCB_MTXHDL
+ _KERNEL_TCB_T_MTXHDL mtxhdl _KERNEL_TCB_TBITDEF_MTXHDL; /**< %jp{所有するミューテックスのリスト} */
+#endif
#if _KERNEL_TCB_ERCD
_KERNEL_TCB_T_ERCD ercd _KERNEL_TCB_TBITDEF_ERCD; /**< %jp{待ち解除時のエラーコード}%en{error code} */
_KERNEL_TCB_T_SUSCNT suscnt _KERNEL_TCB_TBITDEF_SUSCNT; /**< %jp{強制待ち要求ネスト回数}%en{Suspension count} */
#endif
+#if _KERNEL_TCB_MTXHDL
+ _KERNEL_TCB_T_MTXHDL mtxhdl _KERNEL_TCB_TBITDEF_MTXHDL; /**< %jp{所有するミューテックスのリスト} */
+#endif
#if _KERNEL_TCB_ERCD
_KERNEL_TCB_T_ERCD ercd _KERNEL_TCB_TBITDEF_ERCD; /**< %jp{待ち解除時のエラーコード}%en{error code} */
#define _KERNEL_TSK_GET_SUSCNT(tcb) (0)
#endif
+/* mtxhdl */
+#if _KERNEL_TCB_MTXHDL
+#define _KERNEL_TSK_SET_MTXHDL(tcb, x) do { (tcb)->mtxhdl = (x); } while(0)
+#define _KERNEL_TSK_GET_MTXHDLtcb) ((tcb)->mtxhdl)
+#else
+#define _KERNEL_TSK_SET_MTXHDL(tcb, x) do { } while(0)
+#define _KERNEL_TSK_GET_MTXHDL(tcb) _KERNEL_MTXHDL_NULL
+#endif
+
/* ercd */
#if _KERNEL_TCB_ERCD
#define _KERNEL_TSK_SET_ERCD(tcb, x) do { (tcb)->ercd = (x); } while(0)