Home
last modified time | relevance | path

Searched refs:ulCurrentTimeHigh (Results 1 – 2 of 2) sorted by relevance

/Kernel-v11.1.0/portable/IAR/RISC-V/
Dport.c165 uint32_t ulCurrentTimeHigh, ulCurrentTimeLow; in vPortSetupTimerInterrupt() local
176 ulCurrentTimeHigh = *pulTimeHigh; in vPortSetupTimerInterrupt()
178 } while( ulCurrentTimeHigh != *pulTimeHigh ); in vPortSetupTimerInterrupt()
180 ullNextTime = ( uint64_t ) ulCurrentTimeHigh; in vPortSetupTimerInterrupt()
/Kernel-v11.1.0/portable/GCC/RISC-V/
Dport.c132 uint32_t ulCurrentTimeHigh, ulCurrentTimeLow; in vPortSetupTimerInterrupt() local
143 ulCurrentTimeHigh = *pulTimeHigh; in vPortSetupTimerInterrupt()
145 } while( ulCurrentTimeHigh != *pulTimeHigh ); in vPortSetupTimerInterrupt()
147 ullNextTime = ( uint64_t ) ulCurrentTimeHigh; in vPortSetupTimerInterrupt()