Searched refs:_cspace_simple1level_make_path (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 33 *slot = _cspace_simple1level_make_path(cspace, cspace->current_slot++);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 33 *slot = _cspace_simple1level_make_path(cspace, cspace->current_slot++);
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
| H A D | simple1level.h | 40 static inline cspacepath_t _cspace_simple1level_make_path(void *_cspace, seL4_CPtr slot) function
70 .make_path = _cspace_simple1level_make_path,
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
| H A D | simple1level.h | 40 static inline cspacepath_t _cspace_simple1level_make_path(void *_cspace, seL4_CPtr slot) function
70 .make_path = _cspace_simple1level_make_path,
|
| /seL4-refos-master/libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 159 currentroot = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadCNode);
163 cspacepath_t slot = _cspace_simple1level_make_path(&boot_cspace, i);
170 tcb = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadTCB);
171 pd = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadPD);
227 currentroot = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadCNode);
231 cspacepath_t slot = _cspace_simple1level_make_path(&boot_cspace, i);
238 tcb = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadTCB);
239 pd = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadPD);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 159 currentroot = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadCNode);
163 cspacepath_t slot = _cspace_simple1level_make_path(&boot_cspace, i);
170 tcb = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadTCB);
171 pd = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadPD);
227 currentroot = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadCNode);
231 cspacepath_t slot = _cspace_simple1level_make_path(&boot_cspace, i);
238 tcb = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadTCB);
239 pd = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadPD);
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 130 _cspace_simple1level_make_path(&bs->maybe_boot_cspace, root_cnode));
1189 cspacepath_t init_cnode_path = _cspace_simple1level_make_path(&bootstrap->maybe_boot_cspace, simple_get_cnode(simple));
1195 cspacepath_t tcb = _cspace_simple1level_make_path(&bootstrap->maybe_boot_cspace, simple_get_tcb(simple));
1196 cspacepath_t pd = _cspace_simple1level_make_path(&bootstrap->maybe_boot_cspace, simple_get_pd(simple));
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 130 _cspace_simple1level_make_path(&bs->maybe_boot_cspace, root_cnode));
1189 cspacepath_t init_cnode_path = _cspace_simple1level_make_path(&bootstrap->maybe_boot_cspace, simple_get_cnode(simple));
1195 cspacepath_t tcb = _cspace_simple1level_make_path(&bootstrap->maybe_boot_cspace, simple_get_tcb(simple));
1196 cspacepath_t pd = _cspace_simple1level_make_path(&bootstrap->maybe_boot_cspace, simple_get_pd(simple));
|
Completed in 92 milliseconds