Searched refs:_cspace_two_level_make_path (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
| H A D | two_level.h | 78 cspacepath_t _cspace_two_level_make_path(void *_cspace, seL4_CPtr slot);
84 .make_path = _cspace_two_level_make_path,
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
| H A D | two_level.h | 78 cspacepath_t _cspace_two_level_make_path(void *_cspace, seL4_CPtr slot);
84 .make_path = _cspace_two_level_make_path,
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | two_level.c | 20 cspacepath_t _cspace_two_level_make_path(void *_cspace, seL4_CPtr slot) function
216 *slot = _cspace_two_level_make_path(cspace, (i << cspace->config.level_two_bits) | level2_slot.capPtr);
|
| /seL4-refos-master/libs/libsel4allocman/src/cspace/ |
| H A D | two_level.c | 20 cspacepath_t _cspace_two_level_make_path(void *_cspace, seL4_CPtr slot) function
216 *slot = _cspace_two_level_make_path(cspace, (i << cspace->config.level_two_bits) | level2_slot.capPtr);
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 518 slot = _cspace_two_level_make_path(bs->alloc->cspace.cspace, pos);
629 bs->old_cnode = _cspace_two_level_make_path(cspace, old_cnode);
631 bs->boot_cnode = _cspace_two_level_make_path(cspace, cnode);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 518 slot = _cspace_two_level_make_path(bs->alloc->cspace.cspace, pos);
629 bs->old_cnode = _cspace_two_level_make_path(cspace, old_cnode);
631 bs->boot_cnode = _cspace_two_level_make_path(cspace, cnode);
|
Completed in 39 milliseconds