BUG: missing TIMER_GET_TIME in cpu_timer.c