Symbol: highlight_pointer
drivers/tty/vt/selection.c
289
highlight_pointer(pe);
drivers/tty/vt/selection.c
296
highlight_pointer(-1);
drivers/tty/vt/selection.c
85
highlight_pointer(-1); /* hide the pointer */