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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Ddevcfg.c21 int devcfg_init(ps_io_ops_t* ops) { function
H A Ddevcfg.h59 int devcfg_init(ps_io_ops_t* ops);
H A Dxadc.c57 int error = devcfg_init(ops);

Completed in 28 milliseconds