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 D | io.h | 77 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 D | io.h | 77 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 D | timer.c | 182 error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops); 210 int error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops);
|
H A D | io.c | 330 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 D | timer.c | 182 error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops); 210 int error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops);
|
H A D | io.c | 330 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