tag	line	file	source code
WDT_COUNT0	64	drivers/char/wdt.c	outb_p(val&0xFF, WDT_COUNT0+ctr);
WDT_COUNT0	65	drivers/char/wdt.c	outb_p(val>>8, WDT_COUNT0+ctr);