tag	line	file	source code
getconsxy	31	drivers/char/selection.h	extern void getconsxy(int currcons, char *p);
getconsxy	99	drivers/char/vc_screen.c	getconsxy(cons, header+2);
getconsxy	158	drivers/char/vc_screen.c	getconsxy(cons, header+2);