Searched defs:defer_driver_init (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ | ||
H A D | io.c | 306 static int defer_driver_init(ps_io_ops_t *ops, char *device_path, ps_driver_init_fn_t init_func) function |
Completed in 75 milliseconds