IXP4XX_WDT_COUNT_ENABLE  188 arch/arm/mach-ixp4xx/include/mach/ixp4xx-regs.h #define	IXP4XX_WDT_COUNT_ENABLE		0x00000004
IXP4XX_WDT_COUNT_ENABLE   54 drivers/clocksource/timer-ixp4xx.c #define	IXP4XX_WDT_COUNT_ENABLE		0x00000004