Searched refs:device_list_init (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/
H A Ddevice.h47 * @function device_list_init(list)
52 int device_list_init(device_list_t *list);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Ddevice.c13 int device_list_init(device_list_t *list) function

Completed in 33 milliseconds