VIRTUAL_TO_REAL_TIMER_ID  128 plugin/timer/timerlist.cpp     timer_t realId = VIRTUAL_TO_REAL_TIMER_ID(virtId);
VIRTUAL_TO_REAL_TIMER_ID   55 plugin/timer/timerwrappers.cpp   timer_t realId = VIRTUAL_TO_REAL_TIMER_ID(timerid);
VIRTUAL_TO_REAL_TIMER_ID   70 plugin/timer/timerwrappers.cpp   timer_t realId = VIRTUAL_TO_REAL_TIMER_ID(timerid);
VIRTUAL_TO_REAL_TIMER_ID   82 plugin/timer/timerwrappers.cpp   timer_t realId = VIRTUAL_TO_REAL_TIMER_ID(timerid);
VIRTUAL_TO_REAL_TIMER_ID   91 plugin/timer/timerwrappers.cpp   timer_t realId = VIRTUAL_TO_REAL_TIMER_ID(timerid);