Searched refs:tcrr (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/drivers/timer/
A D	omap3430-timer.c	51 timer->tcrr = 0u; in initTimer() 74 timer->tcrr = 0xFFFFFFFFUL - TIMER_RELOAD; in initTimer()
A D	am335x-timer.c	124 SET_REGISTER(timer->tcrr, 0u); in initTimer() 159 timer->tcrr = 0xFFFFFFFFUL - TIMER_RELOAD; in initTimer()
/seL4-master/include/drivers/timer/
A D	omap3430.h	23 uint32_t tcrr; /* GPTIMER_TCRR 0x28 */ member 54 return (((uint64_t) high_bits + overflow) << 32llu) + timer->tcrr; in getCurrentTime()
A D	am335x.h	26 uint32_t tcrr; // 3Ch TCRR Timer Counter Register member 47 return ((((uint64_t) high_bits + overflow) << 32llu) + timer->tcrr); in getCurrentTime()

Completed in 7 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023