WDT_TIMER_SELECT_VAL  190 drivers/watchdog/armada_37xx_wdt.c 	if ((reg & WDT_TIMER_SELECT_MASK) != WDT_TIMER_SELECT_VAL)
WDT_TIMER_SELECT_VAL  202 drivers/watchdog/armada_37xx_wdt.c 	regmap_write(dev->cpu_misc, WDT_TIMER_SELECT, WDT_TIMER_SELECT_VAL);