tag	line	file	source code
sel_cons	163	drivers/char/console.c	static int sel_cons = 0;
sel_cons	1407	drivers/char/console.c	if (currcons == sel_cons)
sel_cons	2429	drivers/char/console.c	if (sel_cons != currcons)
sel_cons	2432	drivers/char/console.c	sel_cons = currcons;
sel_cons	2434	drivers/char/console.c	highlight_pointer(sel_cons,pe);
sel_cons	2440	drivers/char/console.c	highlight_pointer(sel_cons,-1);
sel_cons	2453	drivers/char/console.c	if (sel_cons != currcons)
sel_cons	2456	drivers/char/console.c	sel_cons = currcons;
sel_cons	2459	drivers/char/console.c	highlight(sel_cons, new_sel_start, new_sel_end);
sel_cons	2465	drivers/char/console.c	highlight(sel_cons, sel_end + 2, new_sel_end);
sel_cons	2467	drivers/char/console.c	highlight(sel_cons, new_sel_end + 2, sel_end);
sel_cons	2472	drivers/char/console.c	highlight(sel_cons, new_sel_start, sel_start - 2);
sel_cons	2474	drivers/char/console.c	highlight(sel_cons, sel_start, new_sel_start - 2);
sel_cons	2479	drivers/char/console.c	highlight(sel_cons, new_sel_start, new_sel_end);
sel_cons	2549	drivers/char/console.c	highlight_pointer(sel_cons, -1); /* hide the pointer */
sel_cons	2552	drivers/char/console.c	highlight(sel_cons, sel_start, sel_end);