get_next_timer_interrupt
extern u64 get_next_timer_interrupt(unsigned long basej, u64 basem);
next_tick = get_next_timer_interrupt(basejiff, basemono);