mv_get_timer
static uint32_t mv_get_timer(uint32_t);
return (INITIAL_TIMECOUNTER - mv_get_timer(1));
val = mv_get_timer(1);
val_temp = mv_get_timer(1);