* Timer interrupt callback function. */ NOTE: This function is a bit more complicated than it could be, because it has to deal with a feature in the windows multimedia timer that is undesired here. That is the fact that, if the timer function is stalled for a while, because some other thread or itself took too much time, the timer function is called more times to catch up with the har
source not stored for this graph (policy: none)
no test coverage detected