Searched refs:t1 (Results 1 – 1 of 1) sorted by relevance
130 uint64_t t1, u1; in NRF_802154_US_TO_RTC_TICKS() local167 t1 = ((time >> 13) * 0x8637bd0) >> 28; // ((time >> 13) * (2^41 / 15625)) >> (41 - 13) in NRF_802154_US_TO_RTC_TICKS()168 result = t1 * 512; in NRF_802154_US_TO_RTC_TICKS()169 t1 = time - t1 * 15625; in NRF_802154_US_TO_RTC_TICKS()193 NRF_802154_ASSERT(t1 <= 1453125); in NRF_802154_US_TO_RTC_TICKS()194 u1 = (t1 * 0x431bde82d7b); // (time * (2^56 / 15625)) in NRF_802154_US_TO_RTC_TICKS()