RE_TIMERINT
#define RE_TIMERINT 0x0058 /* 32 bits */
#define RE_TIMERINT 0x0058 /* timer interrupt register */
