Home
last modified time | relevance | path

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

/seL4-master/include/drivers/timer/
A Domap3430.h11 #define TISR_OVF_FLAG BIT(1) macro
53 bool_t overflow = !!(timer->tisr & TISR_OVF_FLAG); in getCurrentTime()
61 if (timer->tisr & TISR_OVF_FLAG) { in ackDeadlineIRQ()
66 timer->tisr = TISR_OVF_FLAG | TISR_MATCH_FLAG; in ackDeadlineIRQ()
67 assert((timer->tisr & TISR_OVF_FLAG) == 0); in ackDeadlineIRQ()
72 timer->tisr = TISR_OVF_FLAG; in resetTimer()
A Dam335x.h10 #define TISR_OVF_FLAG BIT(1) macro
46 bool_t overflow = !!(timer->tisr & TISR_OVF_FLAG); in getCurrentTime()
69 if (timer->tisr & TISR_OVF_FLAG) { in ackDeadlineIRQ()
71 timer->tisr = TISR_OVF_FLAG; in ackDeadlineIRQ()
72 assert((timer->tisr & TISR_OVF_FLAG) == 0); in ackDeadlineIRQ()
88 timer->tisr = TISR_OVF_FLAG | TISR_MATCH_FLAG | TISR_TCAR_FLAG; in resetTimer()

Completed in 3 milliseconds