INITIAL_TIMECOUNTER
return (INITIAL_TIMECOUNTER - mv_get_timer(1));
nticks -= (val + (INITIAL_TIMECOUNTER - val_temp));
mv_set_timer_rel(1, INITIAL_TIMECOUNTER);
mv_set_timer(1, INITIAL_TIMECOUNTER);