(toppers-users 633) config.txt について

[Naoki Saito]

斉藤@名古屋市工研です.

些細なことで恐縮ですが,

doc/config.txt の「3. カーネル用のデータ型や関数など」で

(3-1) BOOL t_lock_cpu(void)
(3-2) BOOL t_unlock_cpu(void)
(3-3) BOOL i_lock_cpu(void)
(3-4) BOOL i_unlock_cpu(void)

となっているのは

(3-1) void t_lock_cpu(void)
(3-2) void t_unlock_cpu(void)
(3-3) void i_lock_cpu(void)
(3-4) void i_unlock_cpu(void)

ということでよいのでしょうか.