tag	line	file	source code
highlight	1715	drivers/char/console.c	highlight(sel_cons, new_sel_start, new_sel_end);
highlight	1721	drivers/char/console.c	highlight(sel_cons, sel_end + 2, new_sel_end);
highlight	1723	drivers/char/console.c	highlight(sel_cons, new_sel_end + 2, sel_end);
highlight	1728	drivers/char/console.c	highlight(sel_cons, new_sel_start, sel_start - 2);
highlight	1730	drivers/char/console.c	highlight(sel_cons, sel_start, new_sel_start - 2);
highlight	1735	drivers/char/console.c	highlight(sel_cons, new_sel_start, new_sel_end);
highlight	1790	drivers/char/console.c	highlight(sel_cons, sel_start, sel_end);