timer_value1      132 drivers/watchdog/of_xilinx_wdt.c 	u32 timer_value1;
timer_value1      137 drivers/watchdog/of_xilinx_wdt.c 	timer_value1 = ioread32(xdev->base + XWT_TBR_OFFSET);
timer_value1      142 drivers/watchdog/of_xilinx_wdt.c 			(timer_value2 == timer_value1)); i++) {
timer_value1      148 drivers/watchdog/of_xilinx_wdt.c 	if (timer_value2 != timer_value1)