Searched refs:tsicr (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/include/drivers/timer/ | ||
| A D | omap3430.h | 29 uint32_t tsicr; /* GPTIMER_TSICR 0x40 */ member |
| A D | am335x.h | 32 uint32_t tsicr; // 54h TSICR Timer Synchronous Interface Control Register member |
Completed in 3 milliseconds