Searched refs:pathSrc (Results 1 - 6 of 6) 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
94 vka_cspace_make_path(&procServ.vka, ep, &pathSrc);
101 int error = vka_cnode_mint(&pathDest, &pathSrc, seL4_AllRights, badge);
111 cspacepath_t pathSrc, pathDest; local
112 vka_cspace_make_path(&procServ.vka, ep, &pathSrc);
119 int error = vka_cnode_copy(&pathDest, &pathSrc, rights);
|
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | process.c | 93 cspacepath_t pathSrc, pathDest; local
94 vka_cspace_make_path(&procServ.vka, ep, &pathSrc);
101 int error = vka_cnode_mint(&pathDest, &pathSrc, seL4_AllRights, badge);
111 cspacepath_t pathSrc, pathDest; local
112 vka_cspace_make_path(&procServ.vka, ep, &pathSrc);
119 int error = vka_cnode_copy(&pathDest, &pathSrc, rights);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.c | 211 cspacepath_t path, pathSrc; local
218 vka_cspace_make_path(&procServ.vka, procServ.endpoint.cptr, &pathSrc);
220 &path, &pathSrc, seL4_NoRead,
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | state.c | 211 cspacepath_t path, pathSrc; local
218 vka_cspace_make_path(&procServ.vka, procServ.endpoint.cptr, &pathSrc);
220 &path, &pathSrc, seL4_NoRead,
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 422 cspacepath_t pathDest, pathSrc; local
424 vka_cspace_make_path(&procServ.vka, frames[i], &pathSrc);
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
424 vka_cspace_make_path(&procServ.vka, frames[i], &pathSrc);
425 vka_cnode_copy(&pathDest, &pathSrc, seL4_AllRights);
|
Completed in 84 milliseconds