extern u32 ticks; void timer_phase(int hz);