timer-generic.cpp revision f4db180328f833f9fc9cb07a1a4a0bc948a47afe