tag	line	file	source code
putconsxy	32	drivers/char/selection.h	extern void putconsxy(int currcons, char *p);
putconsxy	162	drivers/char/vc_screen.c	putconsxy(cons, header+2);