Home
last modified time | relevance | path

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

/Kernel-v11.1.0/portable/IAR/RISC-V/
Dport.c166 …volatile uint32_t * const pulTimeHigh = ( uint32_t * ) ( ( configMTIME_BASE_ADDRESS ) + 4UL ); /* … in vPortSetupTimerInterrupt() local
176 ulCurrentTimeHigh = *pulTimeHigh; in vPortSetupTimerInterrupt()
178 } while( ulCurrentTimeHigh != *pulTimeHigh ); in vPortSetupTimerInterrupt()
/Kernel-v11.1.0/portable/GCC/RISC-V/
Dport.c133 …volatile uint32_t * const pulTimeHigh = ( volatile uint32_t * const ) ( ( configMTIME_BASE_ADDRESS… in vPortSetupTimerInterrupt() local
143 ulCurrentTimeHigh = *pulTimeHigh; in vPortSetupTimerInterrupt()
145 } while( ulCurrentTimeHigh != *pulTimeHigh ); in vPortSetupTimerInterrupt()