Searched defs:sel4utils_bootstrap_vspace (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ | ||
| H A D | bootstrap.c | 373 int sel4utils_bootstrap_vspace(vspace_t *vspace, sel4utils_alloc_data_t *data, function |
Completed in 98 milliseconds