timer-r0drv-os2.cpp revision 0dfc79e0666da4c8853deda18a14ebf5819d0d78