void __udelay(unsigned long usec) { unsigned long long target; read_timer(); target = timer.ticks + usecs_to_ticks(usec); while (timer.ticks < target) read_timer(); }
void __hw_clock_source_set(uint32_t ts) { GR_TIMEHS_LOAD(0, 1) = 0xffffffff - usecs_to_ticks(ts); }