highlight_pointer   83 drivers/tty/vt/selection.c 	highlight_pointer(-1); /* hide the pointer */
highlight_pointer  266 drivers/tty/vt/selection.c 			highlight_pointer(pe);
highlight_pointer  273 drivers/tty/vt/selection.c 	highlight_pointer(-1);