Searched refs:pathDest (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | process.c | 93 cspacepath_t pathSrc, pathDest; local
96 pathDest.root = p->vspace.cspace.capPtr;
97 pathDest.capPtr = destCSlot;
98 pathDest.capDepth = seL4_WordBits;
101 int error = vka_cnode_mint(&pathDest, &pathSrc, seL4_AllRights, badge);
111 cspacepath_t pathSrc, pathDest; local
114 pathDest.root = p->vspace.cspace.capPtr;
115 pathDest.capPtr = destCSlot;
116 pathDest.capDepth = seL4_WordBits;
119 int error = vka_cnode_copy(&pathDest,
[all...] |
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | process.c | 93 cspacepath_t pathSrc, pathDest; local
96 pathDest.root = p->vspace.cspace.capPtr;
97 pathDest.capPtr = destCSlot;
98 pathDest.capDepth = seL4_WordBits;
101 int error = vka_cnode_mint(&pathDest, &pathSrc, seL4_AllRights, badge);
111 cspacepath_t pathSrc, pathDest; local
114 pathDest.root = p->vspace.cspace.capPtr;
115 pathDest.capPtr = destCSlot;
116 pathDest.capDepth = seL4_WordBits;
119 int error = vka_cnode_copy(&pathDest,
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 422 cspacepath_t pathDest, pathSrc; local
423 vka_cspace_make_path(&procServ.vka, frameCopy[i], &pathDest);
425 vka_cnode_copy(&pathDest, &pathSrc, seL4_AllRights);
|
| /seL4-refos-master/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 422 cspacepath_t pathDest, pathSrc; local
423 vka_cspace_make_path(&procServ.vka, frameCopy[i], &pathDest);
425 vka_cnode_copy(&pathDest, &pathSrc, seL4_AllRights);
|
Completed in 29 milliseconds