tag	line	file	source code
WDT_RT	87	drivers/char/wdt.c	printk(KERN_CRIT "Overheat alarm.(%d)\n",inb_p(WDT_RT));
WDT_RT	130	drivers/char/wdt.c	unsigned short c=inb_p(WDT_RT);