timer-r0drv-linux.c revision 4b65b0b7127fe2f685bb5c3319f803a16b84ee6c