-static void clock_calibrate(void)
-{
- uint32_t t0, loop = 13;
-
- t0 = get_clock_counter();
-
- /*
- * TODO:
- * Write this code in assembler, so the reading is accurate
- * and can be used to correct the timer intervals.
- */
- while (((get_clock_counter() - t0) & (BIT(18)-1)) < 1000)
- loop += 9; /* really rough uOP estimation */
-
- fw.bogoclock = loop;
-}
-