tag	line	file	source code
highlight_pointer	62	drivers/char/selection.c	highlight_pointer(-1); /* hide the pointer */
highlight_pointer	196	drivers/char/selection.c	highlight_pointer(pe);
highlight_pointer	203	drivers/char/selection.c	highlight_pointer(-1);