Searched refs:l2_path (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | two_level.c | 22 cspacepath_t l1_path, l2_path; local
37 l2_path = _cspace_single_level_make_path(&cspace->second_levels[l1slot]->second_level, l2slot);
40 .capPtr = (l1_path.capPtr << l2_path.capDepth) | l2_path.capPtr,
41 .capDepth = l1_path.capDepth + l2_path.capDepth,
42 .dest = (l1_path.capPtr << l2_path.destDepth) | l2_path.dest,
43 .destDepth = l1_path.capDepth + l2_path.destDepth,
44 .offset = l2_path.offset
|
| /seL4-refos-master/libs/libsel4allocman/src/cspace/ |
| H A D | two_level.c | 22 cspacepath_t l1_path, l2_path; local
37 l2_path = _cspace_single_level_make_path(&cspace->second_levels[l1slot]->second_level, l2slot);
40 .capPtr = (l1_path.capPtr << l2_path.capDepth) | l2_path.capPtr,
41 .capDepth = l1_path.capDepth + l2_path.capDepth,
42 .dest = (l1_path.capPtr << l2_path.destDepth) | l2_path.dest,
43 .destDepth = l1_path.capDepth + l2_path.destDepth,
44 .offset = l2_path.offset
|
Completed in 26 milliseconds