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