tag	line	file	source code
CONFIG_WDT_501	48	drivers/char/wd501p.h	#ifdef CONFIG_WDT_501    /* Full board */
CONFIG_WDT_501	238	drivers/char/wdt.c	#ifdef CONFIG_WDT_501
CONFIG_WDT_501	248	drivers/char/wdt.c	#ifdef CONFIG_WDT_501