ntp_tick_length
extern u64 ntp_tick_length(unsigned int tkid);
u64 ntp_tl = ntp_tick_length(tk->id);
maxshift = (64 - (ilog2(ntp_tick_length(tk->id)) + 1)) - 1;