XWT_TBR_OFFSET    137 drivers/watchdog/of_xilinx_wdt.c 	timer_value1 = ioread32(xdev->base + XWT_TBR_OFFSET);
XWT_TBR_OFFSET    138 drivers/watchdog/of_xilinx_wdt.c 	timer_value2 = ioread32(xdev->base + XWT_TBR_OFFSET);
XWT_TBR_OFFSET    143 drivers/watchdog/of_xilinx_wdt.c 		timer_value2 = ioread32(xdev->base + XWT_TBR_OFFSET);