tag	line	file	source code
highlight_pointer	152	drivers/char/console.c	static void highlight_pointer(const int currcons, const int where);
highlight_pointer	2416	drivers/char/console.c	highlight_pointer(sel_cons,pe);
highlight_pointer	2422	drivers/char/console.c	highlight_pointer(sel_cons,-1);
highlight_pointer	2531	drivers/char/console.c	highlight_pointer(sel_cons, -1); /* hide the pointer */