Searched defs:devcfg_regs_t (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/ | ||
H A D | devcfg.h | 54 typedef volatile struct devcfg_regs devcfg_regs_t; typedef in typeref:struct:devcfg_regs |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ | ||
H A D | devcfg.h | 54 typedef volatile struct devcfg_regs devcfg_regs_t; typedef in typeref:struct:devcfg_regs |
Completed in 25 milliseconds