register_refined_jiffies
register_refined_jiffies(CLOCK_TICK_RATE);
extern void register_refined_jiffies(long clock_tick_rate);