taglinefilesource code
save_cur134drivers/char/console.cstatic void save_cur(int currcons);
save_cur443drivers/char/console.csave_cur(currcons);
save_cur1304drivers/char/console.csave_cur(currcons);
save_cur1509drivers/char/console.csave_cur(currcons);
save_cur1667drivers/char/console.csave_cur(currcons);