Home
last modified time | relevance | path

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

/seL4-master/src/drivers/timer/
A Domap3430-timer.c37 timer->tclr = 0; in initTimer()
54 timer->tclr = TCLR_AUTORELOAD | TCLR_STARTTIMER | TCLR_COMPAREENABLE; in initTimer()
77 timer->tclr = TCLR_AUTORELOAD | TCLR_STARTTIMER; in initTimer()
A Dam335x-timer.c105 SET_REGISTER(timer->tclr, 0u); in initTimer()
127 SET_REGISTER(timer->tclr, (TCLR_AUTORELOAD | TCLR_STARTTIMER | TCLR_COMPAREENABLE)); in initTimer()
162 timer->tclr = TCLR_AUTORELOAD | TCLR_STARTTIMER; in initTimer()
/seL4-master/include/drivers/timer/
A Domap3430.h22 uint32_t tclr; /* GPTIMER_TCLR 0x24 */ member
A Dam335x.h25 uint32_t tclr; // 38h TCLR Timer Control Register member

Completed in 3 milliseconds