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

/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dio.h77 int sel4platsupport_new_io_ops(vspace_t *vspace, vka_t *vka, simple_t *simple, ps_io_ops_t *io_ops);
81 * sel4platsupport_new_io_ops should have already populated relevant non-arch specific
/seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/
H A Dio.h77 int sel4platsupport_new_io_ops(vspace_t *vspace, vka_t *vka, simple_t *simple, ps_io_ops_t *io_ops);
81 * sel4platsupport_new_io_ops should have already populated relevant non-arch specific
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dtimer.c182 error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops);
210 int error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops);
H A Dio.c330 int sel4platsupport_new_io_ops(vspace_t *vspace, vka_t *vka, simple_t *simple, ps_io_ops_t *io_ops) function
/seL4-refos-master/libs/libsel4platsupport/src/
H A Dtimer.c182 error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops);
210 int error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops);
H A Dio.c330 int sel4platsupport_new_io_ops(vspace_t *vspace, vka_t *vka, simple_t *simple, ps_io_ops_t *io_ops) function

Completed in 31 milliseconds