Searched defs:tier (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/seL4/include/drivers/timer/ | ||
H A D | omap3430.h | 20 uint32_t tier; /* GPTIMER_TIER 0x1C */ member in struct:timer |
H A D | am335x.h | 22 uint32_t tier; // 2Ch IRQSTATUS_SET Timer IRQENABLE Set Register member in struct:timer |
Completed in 32 milliseconds