(toppers-users 3813) TOPPERS/SSPの起動終了処理について

[koizumi yoshiyuki]

 こいさんです

SSPの起動回りに気になる記述があるので伺います。

１ start.sのsta_kerの呼び出しは ｂｌ ではなく ｂ でよさそうです。
sta_kerは戻りのない関数だと思います。

２ であるなら ｂ でよければ、その後の b   l_end は不要だと思います。

３ であるなら kernel_impl.hのextern void sta_ker(void) ;は NoReturn をつけたい。

４ であるなら startup.cのsta_ker(void)の最後の assert(false); は不要ではないか。

task.cの dispatcher() は戻りのない関数です。
５ task.hの extern void dispatcher(void) ; は NoReturn をつけたい。

重箱の角問題かも知れませんが、論理構造が見えなくなってしまうので気になっています。

以上



７ task.cの dispatcher() は戻りのない関数です。
start_dispatchを呼び出す
-------------- next part --------------
HTMLの添付ファイルを保管しました...
URL: <http://www.toppers.jp/pipermail/users/attachments/20120122/726b4433/attachment.html>