tag	line	file	source code
SK_print_dev	518	drivers/net/sk_g16.c	void SK_print_dev(struct device *dev, char *text);
SK_print_dev	1151	drivers/net/sk_g16.c	SK_print_dev(dev,"Device Structure:");