timer-r0drv-os2.cpp revision 881b5ff6bc55e1fb0f4ef42f9782ccec79c0a138