Searched refs:tcrr (Results 1 - 8 of 8) sorted by relevance

/seL4-test-master/kernel/src/drivers/timer/
H A Domap3430-timer.c51 timer->tcrr = 0u;
74 timer->tcrr = 0xFFFFFFFFUL - TIMER_RELOAD;
H A Dam335x-timer.c124 SET_REGISTER(timer->tcrr, 0u);
159 timer->tcrr = 0xFFFFFFFFUL - TIMER_RELOAD;
/seL4-test-master/kernel/include/drivers/timer/
H A Dam335x.h26 uint32_t tcrr; // 3Ch TCRR Timer Counter Register member in struct:timer
47 return ((((uint64_t) high_bits + overflow) << 32llu) + timer->tcrr);
H A Domap3430.h23 uint32_t tcrr; /* GPTIMER_TCRR 0x28 */ member in struct:timer
54 return (((uint64_t) high_bits + overflow) << 32llu) + timer->tcrr;
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dtimer.c97 dmt->hw->tcrr = 0xffffffff - (ticks);
124 dmt->hw->tcrr = 0x0;
166 low = dmt->hw->tcrr;
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h51 uint32_t tcrr; // 3Ch TCRR Timer Counter Register member in struct:dmt_map
/seL4-test-master/projects/util_libs/libethdrivers/plat_include/am335x/ethdrivers/plat/
H A Ddmtimer.h179 unsigned int tcrr; member in struct:dmtimerContext
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/omap/
H A Dgpt.c152 uint32_t tcrr; // GPTIMER_TCRR 0x28 member in struct:gpt_map
281 gpt->gpt_map->tcrr = (uint32_t) ticks;
316 ticks += gpt->gpt_map->tcrr;
337 gpt->gpt_map->tcrr = 0u;

Completed in 52 milliseconds