Home
last modified time | relevance | path

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

/seL4-master/include/drivers/timer/
A Dam335x.h21 uint32_t tisr; // 28h IRQSTATUS Timer IRQSTATUS Register member
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()
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.h19 uint32_t tisr; /* GPTIMER_TISR 0x18 */ member
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()

Completed in 4 milliseconds