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

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

Completed in 82 milliseconds