#ifndef __HARDWARE_TIMER_REG_H__
#define __HARDWARE_TIMER_REG_H__

#define TIMER_TIMEHW_OFFSET   (0x000)
#define TIMER_TIMELW_OFFSET   (0x004)
#define TIMER_TIMEHR_OFFSET   (0x008)
#define TIMER_TIMELR_OFFSET   (0x00C)
#define TIMER_ALARM0_OFFSET   (0x010)
#define TIMER_ALARM1_OFFSET   (0x014)
#define TIMER_ALARM2_OFFSET   (0x018)
#define TIMER_ALARM3_OFFSET   (0x01C)
#define TIMER_ARMED_OFFSET    (0x020)
#define TIMER_TIMERAWH_OFFSET (0x024)
#define TIMER_TIMERAWL_OFFSET (0x028)
#define TIMER_DBGPAUSE_OFFSET (0x02C)
#define TIMER_PAUSE_OFFSET    (0x030)
#define TIMER_INTR_OFFSET     (0x034)
#define TIMER_INTE_OFFSET     (0x038)
#define TIMER_INTF_OFFSET     (0x03C)
#define TIMER_INTS_OFFSET     (0x040)

/* TIMER_PAUSE_OFFSET @0x030 */
#define TIMER_PAUSE (1 << 0U)

#ifdef __cplusplus
extern "C" {
#endif

#ifdef __cplusplus
}
#endif

#endif /* __HARDWARE_TIMER_REG_H__ */