Searched refs:tcar1 (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/include/drivers/timer/ | ||
| A D | omap3430.h | 28 uint32_t tcar1; /* GPTIMER_TCAR1 0x3C */ member |
| A D | am335x.h | 31 uint32_t tcar1; // 50h TCAR1 Timer Capture Register member |
Completed in 3 milliseconds