Searched refs:cpath (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/librefos/src/refos-rpc/ |
| H A D | name_client_helper.c | 70 char *cpath = path; local
78 bool resolved = nsv_check_path_resolved(cpath);
80 nextNameServer = nsv_resolve_segment(nameServer, cpath, &resolvedBytes);
88 strcpy(ret.dspaceName, cpath);
89 strncpy(ret.nameservPathPrefix, path, cpath - path);
111 cpath += resolvedBytes;
112 if (cpath[0] == '/') {
113 cpath++;
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/ |
| H A D | name_client_helper.c | 70 char *cpath = path; local
78 bool resolved = nsv_check_path_resolved(cpath);
80 nextNameServer = nsv_resolve_segment(nameServer, cpath, &resolvedBytes);
88 strcpy(ret.dspaceName, cpath);
89 strncpy(ret.nameservPathPrefix, path, cpath - path);
111 cpath += resolvedBytes;
112 if (cpath[0] == '/') {
113 cpath++;
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
| H A D | pagedir.c | 112 cspacepath_t cpath; local
113 vka_cspace_make_path(&procServ.vka, pdPtr, &cpath);
114 vka_cnode_revoke(&cpath);
117 vka_cspace_make_path(&procServ.vka, pdlist->cnode[idx].cptr, &cpath);
118 vka_cnode_revoke(&cpath);
119 vka_cnode_delete(&cpath);
|
| /seL4-refos-master/apps/process_server/src/system/addrspace/ |
| H A D | pagedir.c | 112 cspacepath_t cpath; local
113 vka_cspace_make_path(&procServ.vka, pdPtr, &cpath);
114 vka_cnode_revoke(&cpath);
117 vka_cspace_make_path(&procServ.vka, pdlist->cnode[idx].cptr, &cpath);
118 vka_cnode_revoke(&cpath);
119 vka_cnode_delete(&cpath);
|
Completed in 42 milliseconds