timer-r0drv-linux.c revision 7202d537edf6d2c5fc2c26bade6855541c675fa0