taglinefilesource code
save_cur135drivers/char/console.cstatic void save_cur(int currcons);
save_cur430drivers/char/console.csave_cur(currcons);
save_cur1295drivers/char/console.csave_cur(currcons);
save_cur1497drivers/char/console.csave_cur(currcons);
save_cur1655drivers/char/console.csave_cur(currcons);