timer-r0drv-linux.c revision 2b6e5e029d7448f21b9f8b6fb2c87b13c22b4997