Home
last modified time | relevance | path

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

/seL4-master/src/drivers/timer/
A Domap3430-timer.c45 timer->tldr = 0u; in initTimer()
68 timer->tldr = 0xFFFFFFFFUL - TIMER_RELOAD; in initTimer()
A Dam335x-timer.c118 SET_REGISTER(timer->tldr, 0u); in initTimer()
153 timer->tldr = 0xFFFFFFFFUL - TIMER_RELOAD; in initTimer()
/seL4-master/include/drivers/timer/
A Domap3430.h24 uint32_t tldr; /* GPTIMER_TLDR 0x2C */ member
A Dam335x.h27 uint32_t tldr; // 40h TLDR Timer Load Register member

Completed in 4 milliseconds