move these lines to a new header:
generic_timer_regs.h

contents should be:
- Generic Timer Register related #define macros
- register access inline functions such as read/write
- make sure generic_timer_regs.h included only in generic_timer.c, if possible