tag	line	file	source code
highlight_pointer	116	drivers/char/console.c	static void highlight_pointer(const int currcons, const int where);
highlight_pointer	2102	drivers/char/console.c	highlight_pointer(fg_console,-1);
highlight_pointer	2325	drivers/char/console.c	highlight_pointer(sel_cons,-1);
highlight_pointer	2329	drivers/char/console.c	highlight_pointer(sel_cons,pe);
highlight_pointer	2436	drivers/char/console.c	highlight_pointer(sel_cons, -1); /* hide the pointer */