tag	line	file	source code
highlight_pointer	61	drivers/char/selection.c	highlight_pointer(-1); /* hide the pointer */
highlight_pointer	195	drivers/char/selection.c	highlight_pointer(pe);
highlight_pointer	202	drivers/char/selection.c	highlight_pointer(-1);