Searched refs:twps (Results 1 – 2 of 2) sorted by relevance
/seL4-master/include/drivers/timer/ | ||
A D | omap3430.h | 26 uint32_t twps; /* GPTIMER_TWPS 0x34 */ member |
A D | am335x.h | 29 uint32_t twps; // 48h TWPS Timer Write Posted Status Register member |
Completed in 2 milliseconds