#include "system/sysmem/sysmemheap_local.h"
#include "library/container/valmemheap/valmemheap_local.h"
-#define _HOS_SYSPAI_USEMTX
+
+/* #define _HOS_SYSPAI_USEMTX */
/* HOS-V4a 内部変数の参照(インチキ) */
if ( _KERNEL_TSK_GET_TSKPRI(tcb_lock) > _KERNEL_TSK_GET_TSKPRI(tcb) )
{
_KERNEL_TSK_SET_TSKPRI(tcb_lock, _KERNEL_TSK_GET_TSKPRI(tcb));
- if ( _KERNEL_TSK_GET_TSKSTAT(tcb) == TTS_RDY )
+ if ( _KERNEL_TSK_GET_TSKSTAT(tcb_lock) == TTS_RDY )
{
- _KERNEL_SYS_RMV_RDQ(tskhdl);
- _KERNEL_SYS_ADD_RDQ(tskhdl);
+ _KERNEL_SYS_RMV_RDQ(tskhdl_lock);
+ _KERNEL_SYS_ADD_RDQ(tskhdl_lock);
}
}
}
if ( _KERNEL_TSK_GET_TSKPRI(tcb_lock) > _KERNEL_TSK_GET_TSKPRI(tcb) )
{
_KERNEL_TSK_SET_TSKPRI(tcb_lock, _KERNEL_TSK_GET_TSKPRI(tcb));
- if ( _KERNEL_TSK_GET_TSKSTAT(tcb) == TTS_RDY )
+ if ( _KERNEL_TSK_GET_TSKSTAT(tcb_lock) == TTS_RDY )
{
- _KERNEL_SYS_RMV_RDQ(tskhdl);
- _KERNEL_SYS_ADD_RDQ(tskhdl);
+ _KERNEL_SYS_RMV_RDQ(tskhdl_lock);
+ _KERNEL_SYS_ADD_RDQ(tskhdl_lock);
}
}
}
{
/* %jp{優先度を元に戻す} */
_KERNEL_TSK_SET_TSKPRI(tcb, _KERNEL_TSK_GET_TSKBPRI(tcb));
- if ( _KERNEL_TSK_GET_TSKSTAT(tcb) == TTS_RDY )
- {
- _KERNEL_SYS_RMV_RDQ(tskhdl);
- _KERNEL_SYS_ADD_RDQ(tskhdl);
- }
+ _KERNEL_SYS_RMV_RDQ(tskhdl);
+ _KERNEL_SYS_ADD_RDQ(tskhdl);
}
/* %jp{タスクディスパッチの実行} */