timer-r0drv-os2.cpp revision 0f77dc54d7ec617480988ccdfcd080f480e79698