timer-r0drv-linux.c revision 9edbe160de7266b3b5d54ccf2f07ed95f9f40c6b