tag	line	file	source code
highlight	2459	drivers/char/console.c	highlight(sel_cons, new_sel_start, new_sel_end);
highlight	2465	drivers/char/console.c	highlight(sel_cons, sel_end + 2, new_sel_end);
highlight	2467	drivers/char/console.c	highlight(sel_cons, new_sel_end + 2, sel_end);
highlight	2472	drivers/char/console.c	highlight(sel_cons, new_sel_start, sel_start - 2);
highlight	2474	drivers/char/console.c	highlight(sel_cons, sel_start, new_sel_start - 2);
highlight	2479	drivers/char/console.c	highlight(sel_cons, new_sel_start, new_sel_end);
highlight	2552	drivers/char/console.c	highlight(sel_cons, sel_start, sel_end);