src/cspace/two_level.c

57     int error;
68                                                                                           sizeof(struct cspace_two_level_node), &error);
69     if (error) {
70         return error;
75                                                                       seL4_CapTableObject, &path, false, &error);
80     if (error) {
83         return error;
85     error = cspace_single_level_create(alloc, &cspace->second_levels[index]->second_level, single_config);
86     if (error) {
90         return error;
98     int error;
109                                                                                    sizeof(struct cspace_two_level_node *) * BIT(config.cnode_size_bits), &error);
110     if (error) {
111         return error;
113     error = cspace_single_level_create(alloc, &cspace->first_level, single_config);
114     if (error) {
117         return error;
124         error = _cspace_single_level_alloc_at(alloc, &cspace->first_level, (seL4_CPtr) i);
125         if (error) {
127             return error;
129         error = _create_second_level(alloc, cspace, i, 0);
130         if (error) {
132             return error;
137         error = _cspace_two_level_alloc_at(alloc, cspace, (seL4_CPtr) i);
138         if (error) {
140             return error;
151     int error;
156         error = _cspace_single_level_alloc_at(alloc, &cspace->first_level, l1slot);
157         if (error) {
158             return error;
160         error = _create_second_level(alloc, cspace, l1slot, 1);
161         if (error) {
162             return error;
166     error = _cspace_single_level_alloc_at(alloc, &cspace->second_levels[l1slot]->second_level, (seL4_CPtr) l2slot);
167     if (error) {
168         return error;
180     int error;
197         error = _cspace_single_level_alloc(alloc, &cspace->first_level, &l1slot);
198         if (error) {
200             return error;
203         error = _create_second_level(alloc, cspace, l1slot.offset, 1);
204         if (error) {
205             return error;
209     error = _cspace_single_level_alloc(alloc, &cspace->second_levels[i]->second_level, &level2_slot);
210     if (error) {
213         return error;
225         int UNUSED error = seL4_CNode_Delete(cspace->config.cnode, index,
227         assert(error == seL4_NoError);