K3RTC_PPB_MULT
tmp = comp * (s64)K3RTC_PPB_MULT;
tmp -= K3RTC_PPB_MULT / 2LL;
tmp += K3RTC_PPB_MULT / 2LL;
tmp = div_s64(tmp, K3RTC_PPB_MULT);