aspカーネルのサービスコールのIDチェックに関して

[Ryohsuke-Takeuchi]

aspカーネルのソースを参照していて、以下のマクロの判定が間違っているのに気が付きました。
余りに基本的な間違いなので、本当なのか、何度も確認しましたが、
asp3カーネルでは、修正されているようなので、連絡します。
CHECK_TSKID_SELF
CHECK_TPRI_INI
CHECK_TPRI_SELF

CHECK_TSKID_SELFはタスクIDとTSK_SELFを判定するマクロですが、
私の間違いでしょうか？
確認をおねがいします
現状：
#define CHECK_TSKID_SELF(tskid) do {
if (!(VALID_TSKID(tskid) || (tskid) == TSK_SELF)) {
ercd = E_ID;
goto error_exit;
}
} while (false)
正しいと思われるマクロ：
#define CHECK_TSKID_SELF(tskid) do {
if (!(VALID_TSKID(tskid) && (tskid) != TSK_SELF)) {
ercd = E_ID;
goto error_exit;
}
} while (false)

[hiroakitakada]

!のかかっている範囲の関係で読みにくいマクロになっていますが，元の通りで正しいと考えます。
おそらく，!のかかっている範囲を読み違えられているものと思います。

まず，VALID_TSKID(tskid)は，tskidが正しい範囲（1〜最大値）に真になります。
次に，VALID_TSKID(tskid) || (tskid) == TSK_SELFで，tskidが正しい範囲か0になっている場合に真になります。
最後に，それに!がかかっていますので，（tskidが正しい範囲か0）でない場合に真になります。

正しいと思われるマクロ：
#define CHECK_TSKID_SELF(tskid) do {
if (!(VALID_TSKID(tskid) && (tskid) != TSK_SELF)) {
ercd = E_ID;
goto error_exit;
}
} while (false)

!がかかっている範囲がVALID_TSKID(tskid)のみであれば，&& (tskid) != TSK_SELFが来るのが正しいですが，!がVALID_TSKID(tskid) || (tskid) == TSK_SELF全体にかかっているので，元のプログラムで正しいです。

[Ryohsuke-Takeuchi]

すみません
今、ソースを見て取り下げの返事を書こうと思って、開いたら回答が記載されていて申し訳ありません。
先生のおっしゃる通りです。
エラー条件で、判定すると、以下のマクロになりますね。
休みの日にすみません。

#define CHECK_TSKID_SELF(tskid) do {
if ( !VALID_TSKID(tskid) && (tskid) != TSK_SELF ) {
ercd = E_ID;
goto error_exit;
}
} while (false)