taglinefilesource code
set_cursor141drivers/char/console.cextern void set_cursor(int currcons);
set_cursor435drivers/char/console.cset_cursor(fg_console);
set_cursor1046drivers/char/console.cset_cursor(currcons);
set_cursor1094drivers/char/console.cset_cursor(currcons);
set_cursor1819drivers/char/console.cset_cursor(currcons);
set_cursor1894drivers/char/console.cset_cursor(currcons);
set_cursor2191drivers/char/console.cset_cursor(fg_console);
set_cursor2235drivers/char/console.cset_cursor(fg_console);