Searched refs:twer (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/include/drivers/timer/ | ||
| A D | omap3430.h | 21 uint32_t twer; /* GPTIMER_TWER 0x20 */ member |
| A D | am335x.h | 24 uint32_t twer; // 34h IRQWAKEEN Timer IRQ Wakeup Enable Register member |
Completed in 2 milliseconds