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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c126 uint32_t cnt_val[3]; /* +0x18 */ member in struct:ttc_tmr_regs
469 uint32_t cnt = *regs->cnt_val;
474 cnt = *regs->cnt_val;
493 *regs->match[0] = (interval + *regs->cnt_val);
495 *regs->match[0] = (interval + *regs->cnt_val) % BIT(CNT_WIDTH);

Completed in 31 milliseconds