Searched refs:timeHigh (Results 1 – 1 of 1) sorted by relevance
314 uint32_t timeLow, timeHigh; in NETC_TimerReadExtPulseCaptureTime() local321 timeHigh = handle->hw.base->TMR_ETTSN[0].TMR_ETTS_H; in NETC_TimerReadExtPulseCaptureTime()326 timeHigh = handle->hw.base->TMR_ETTSN[1].TMR_ETTS_H; in NETC_TimerReadExtPulseCaptureTime()328 *nanosecond = ((uint64_t)timeHigh << 32U) + timeLow; in NETC_TimerReadExtPulseCaptureTime()336 uint32_t timeLow, timeHigh[2]; in __NETC_TimerGetCurrentTime() local338 timeHigh[0] = base->TMR_CUR_TIME_H; in __NETC_TimerGetCurrentTime()340 timeHigh[1] = timeHigh[0]; in __NETC_TimerGetCurrentTime()342 timeHigh[0] = base->TMR_CUR_TIME_H; in __NETC_TimerGetCurrentTime()343 } while (timeHigh[0] != timeHigh[1]); in __NETC_TimerGetCurrentTime()345 *nanosecond = ((uint64_t)timeHigh[0] << 32U) + timeLow; in __NETC_TimerGetCurrentTime()[all …]