Home
last modified time | relevance | path

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

/seL4-master/include/drivers/timer/
A Dam335x.h30 uint32_t tmar; // 4Ch TMAR Timer Match Register member
62 timer->tmar = (uint32_t)deadline; in setDeadline()
77 timer->tmar = 0xffffffff; in ackDeadlineIRQ()
A Domap3430.h27 uint32_t tmar; /* GPTIMER_TMAR 0x38 */ member
47 timer->tmar = (uint32_t) deadline; in setDeadline()

Completed in 3 milliseconds