tag	line	file	source code
highlight_pointer	89	drivers/char/console.c	static void highlight_pointer(const int currcons, const int where);
highlight_pointer	1756	drivers/char/console.c	highlight_pointer(fg_console,-1);
highlight_pointer	1970	drivers/char/console.c	highlight_pointer(sel_cons,-1);
highlight_pointer	1974	drivers/char/console.c	highlight_pointer(sel_cons,pe);
highlight_pointer	2081	drivers/char/console.c	highlight_pointer(sel_cons, -1); /* hide the pointer */