tag	line	file	source code
highlight_pointer	159	drivers/char/console.c	static void highlight_pointer(const int currcons, const int where);
highlight_pointer	2434	drivers/char/console.c	highlight_pointer(sel_cons,pe);
highlight_pointer	2440	drivers/char/console.c	highlight_pointer(sel_cons,-1);
highlight_pointer	2549	drivers/char/console.c	highlight_pointer(sel_cons, -1); /* hide the pointer */