tag	line	file	source code
highlight_pointer	117	drivers/char/console.c	static void highlight_pointer(const int currcons, const int where);
highlight_pointer	2379	drivers/char/console.c	highlight_pointer(sel_cons,pe);
highlight_pointer	2385	drivers/char/console.c	highlight_pointer(sel_cons,-1);
highlight_pointer	2494	drivers/char/console.c	highlight_pointer(sel_cons, -1); /* hide the pointer */