Searched refs:tcar1 (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/kernel/include/drivers/timer/
H A Dam335x.h31 uint32_t tcar1; // 50h TCAR1 Timer Capture Register member in struct:timer
H A Domap3430.h28 uint32_t tcar1; /* GPTIMER_TCAR1 0x3C */ member in struct:timer
/seL4-refos-master/libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h56 uint32_t tcar1; // 50h TCAR1 Timer Capture Register member in struct:dmt_map
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h56 uint32_t tcar1; // 50h TCAR1 Timer Capture Register member in struct:dmt_map
/seL4-refos-master/libs/libplatsupport/src/mach/omap/
H A Dgpt.c157 uint32_t tcar1; // GPTIMER_TCAR1 0x3C member in struct:gpt_map
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/
H A Dgpt.c157 uint32_t tcar1; // GPTIMER_TCAR1 0x3C member in struct:gpt_map

Completed in 122 milliseconds