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

/seL4-mcs-10.1.1/src/plat/apq8064/machine/
H A Dtimer.c25 timer_t* dgt_tmr = (timer_t*) DGT_TIMER_PPTR; variable
43 dgt_tmr->en = 0;
44 dgt_tmr->clr = 0xC0FFEE;
48 dgt_tmr->en = DGTTMR_EN_CLR_ON_MTCH_EN | DGTTMR_EN_EN;

Completed in 71 milliseconds