+static unsigned int
+regwin_read_timer(int timer_low_addr)
+{
+ return (cpu8051_ReadD(timer_low_addr + 2) << 8) |
+ cpu8051_ReadD(timer_low_addr);
+}
+
+static void
+regwin_write_timer(int timer_low_addr, int val)
+{
+ cpu8051_WriteD(timer_low_addr + 2, (u_int8_t) ((val & 0x0000FFFF) >> 8));
+ cpu8051_WriteD(timer_low_addr, (u_int8_t) val);
+}
+