Searched defs:bootstrap (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libsel4allocman/
H A Dexample_bootstrap.c137 bootstrap_info_t *bootstrap; local
205 bootstrap_info_t *bootstrap; local
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4allocman/
H A Dexample_bootstrap.c137 bootstrap_info_t *bootstrap; local
205 bootstrap_info_t *bootstrap; local
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace.h80 vspace_t *bootstrap; member in struct:sel4utils_alloc_data
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dvspace.h80 vspace_t *bootstrap; member in struct:sel4utils_alloc_data
/seL4-refos-master/libs/libsel4allocman/src/
H A Dbootstrap.c1175 bootstrap_info_t *bootstrap = bootstrap_create_info(pool_size, pool); local
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c1175 bootstrap_info_t *bootstrap = bootstrap_create_info(pool_size, pool); local
[all...]

Completed in 47 milliseconds