__timekeeping_set_tai_offset
__timekeeping_set_tai_offset(tk, tk->tai_offset - leap);
__timekeeping_set_tai_offset(tks, tai);