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