tag	line	file	source code
doevent	124	drivers/char/pcxx.c	static void doevent(int);
doevent	1404	drivers/char/pcxx.c	doevent(crd);