Home
last modified time | relevance | path

Searched refs:TISR_MATCH_FLAG (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/drivers/timer/
A Dam335x.h9 #define TISR_MATCH_FLAG BIT(0) macro
75 if (timer->tisr & TISR_MATCH_FLAG) { in ackDeadlineIRQ()
80 timer->tisr = TISR_MATCH_FLAG; in ackDeadlineIRQ()
81 assert((timer->tisr & TISR_MATCH_FLAG) == 0); in ackDeadlineIRQ()
88 timer->tisr = TISR_OVF_FLAG | TISR_MATCH_FLAG | TISR_TCAR_FLAG; in resetTimer()
A Domap3430.h12 #define TISR_MATCH_FLAG BIT(0) macro
66 timer->tisr = TISR_OVF_FLAG | TISR_MATCH_FLAG; in ackDeadlineIRQ()

Completed in 3 milliseconds