tag	line	file	source code
de4x5_dbg_mii	615	drivers/net/de4x5.c	static void    de4x5_dbg_mii(struct device *dev, int k);
de4x5_dbg_mii	3232	drivers/net/de4x5.c	de4x5_dbg_mii(dev, k);