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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c110 /* Byte offsets into a field of ttc_tmr_regs_t for each ttc */
141 typedef volatile struct ttc_tmr_regs ttc_tmr_regs_t; typedef in typeref:struct:ttc_tmr_regs
148 static inline ttc_tmr_regs_t *ttc_get_regs(ttc_t *ttc)
251 ttc_tmr_regs_t *regs = ttc_get_regs(ttc);
274 ttc_tmr_regs_t *regs = ttc_get_regs(ttc);
323 ttc_tmr_regs_t *regs = ttc_get_regs(ttc);
324 /* The int_sts register is being accessed through typedef ttc_tmr_regs_t
386 ttc_tmr_regs_t *regs = ttc_get_regs(ttc);
393 ttc_tmr_regs_t *regs = ttc_get_regs(ttc);
400 ttc_tmr_regs_t *reg
[all...]

Completed in 30 milliseconds