Home
last modified time | relevance | path

Searched refs:tier (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/drivers/timer/
A Domap3430-timer.c48 timer->tier |= (TIER_OVERFLOWENABLE | TIER_MATCHENABLE); in initTimer()
71 timer->tier = TIER_OVERFLOWENABLE; in initTimer()
A Dam335x-timer.c121 SET_REGISTER(timer->tier, (TIER_OVERFLOW_ENABLE | TIER_MATCH_ENABLE)); in initTimer()
156 timer->tier = TIER_OVERFLOW_ENABLE; in initTimer()
/seL4-master/include/drivers/timer/
A Domap3430.h20 uint32_t tier; /* GPTIMER_TIER 0x1C */ member
A Dam335x.h22 uint32_t tier; // 2Ch IRQSTATUS_SET Timer IRQENABLE Set Register member

Completed in 5 milliseconds