seL4_libs/libsel4allocman/example_bootstrap.c

37     int error;
43     vka = allocman_mspace_alloc(allocman, sizeof(*vka), &error);
44     assert(!error);
52     error = allocman_fill_reserves(allocman);
53     assert(!error);
58     int error;
69         error = allocman_utspace_add_uts(allocman, 1, &slot, &size_bits, &paddr);
70         assert(!error);
72     error = allocman_fill_reserves(allocman);
73     assert(!error);
77     int error;
86     cspace = allocman_mspace_alloc(allocman, sizeof(*cspace), &error);
87     assert(!error);
88     error = cspace_single_level_create(allocman, cspace, (struct cspace_single_level_config) {
95     assert(!error);
97     error = allocman_attach_cspace(allocman, cspace_single_level_make_interface(cspace));
98     assert(!error);
100     utspace = allocman_mspace_alloc(allocman, sizeof(*utspace), &error);
101     assert(!error);
102     error = allocman_attach_utspace(allocman, utspace_trickle_make_interface(utspace));
103     assert(!error);
110         error = allocman_utspace_add_uts(allocman, 1, &slot, &size_bits);
111         assert(!error);
113     error = allocman_fill_reserves(allocman);
114     assert(!error);
118     int error;
124     error = allocman_fill_reserves(allocman);
125     assert(!error);
127     error = cspace_move_alloc_cptr(allocman, cspace_simple1level_make_interface(boot_cspace), seL4_CapInitThreadTCB, &new_path);
128     assert(!error);
130     error = seL4_TCB_SetPriority(new_path.capPtr, new_path.capPtr, 100);
131     assert(error == seL4_NoError);
147     int error;
166         error = bootstrap_add_untypeds(bootstrap, 1, &slot, &size_bits, &paddr);
167         assert(!error);
178     error = cspace_move_alloc_cptr(allocman, cspace_simple1level_make_interface(&boot_cspace), seL4_CapInitThreadTCB, &new_path);
179     assert(!error);
181     error = seL4_TCB_SetPriority(new_path.capPtr, new_path.capPtr, 100);
182     assert(error == seL4_NoError);
186     int error;
192     error = allocman_fill_reserves(allocman);
193     assert(!error);
195     error = cspace_move_alloc_cptr(allocman, cspace_simple1level_make_interface(boot_cspace), seL4_CapInitThreadTCB, &new_path);
196     assert(!error);
198     error = seL4_TCB_SetPriority(new_path.capPtr, new_path.capPtr, 100);
199     assert(error == seL4_NoError);
215     int error;
234         error = bootstrap_add_untypeds(bootstrap, 1, &slot, &size_bits, &paddr);
235         assert(!error);
246     error = cspace_move_alloc_cptr(allocman, cspace_simple1level_make_interface(&boot_cspace), seL4_CapInitThreadTCB, &new_path);
247     assert(!error);
249     error = seL4_TCB_SetPriority(new_path.capPtr, new_path.capPtr, 100);
250     assert(error == seL4_NoError);