Searched refs:tcar2 (Results 1 – 2 of 2) sorted by relevance
/seL4-master/include/drivers/timer/ | ||
A D | omap3430.h | 30 uint32_t tcar2; /* GPTIMER_TCAR2 0x44 */ member |
A D | am335x.h | 33 uint32_t tcar2; // 58h TCAR2 Timer Capture Register member |
Completed in 3 milliseconds