tag	line	file	source code
kernel_version	4079	drivers/block/floppy.c	printk("inserting floppy driver for %s\n", kernel_version);
kernel_version	403	drivers/sound/soundcard.c	char            kernel_version[] = UTS_RELEASE;
kernel_version	100	include/linux/module.h	char kernel_version[]=UTS_RELEASE;