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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Ddevcfg.h32 uint32_t int_sts; // 0x000c Interrupt Status member in struct:devcfg_regs
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c133 uint32_t int_sts[3]; /* +0x54 */ member in struct:ttc_tmr_regs
324 /* The int_sts register is being accessed through typedef ttc_tmr_regs_t
327 uint32_t res = *regs->int_sts;
627 FORCE_READ(regs->int_sts); /* Clear on read */

Completed in 89 milliseconds