OSMR3
#define OSMR3 io_p2v(0x40A0000C) /* */
#define OSMR3 io_p2v(0x9000000c) /* OS timer Match Reg. 3 */
#define OSMR3 0x0C /* OS Timer 3 Match Register */
