Searched refs:procServ (Results 1 - 25 of 38) sorted by relevance

12

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.c34 struct procserv_state procServ; variable in typeref:struct:procserv_state
39 return procServ.faketime++;
127 return vka_cnode_copy(dest, &procServ.serial_frame_cap_path, seL4_AllRights);
130 assert(procServ.vka.utspace_alloc_at);
131 return procServ.vka.utspace_alloc_at(data, dest, type, size_bits, paddr, cookie);
147 return vka_cnode_copy(path, &procServ.serial_frame_cap_path, seL4_AllRights);
150 return procServ.original_simple_get_frame_cap(data, paddr, size_bits, path);
213 int error = vka_cspace_alloc_path(&procServ.vka, &path);
218 vka_cspace_make_path(&procServ.vka, procServ
[all...]
H A Dmain.c125 struct procserv_state *s = &procServ;
142 initialise(platsupport_get_bootinfo(), &procServ); local
/seL4-refos-master/apps/process_server/src/
H A Dstate.c34 struct procserv_state procServ; variable in typeref:struct:procserv_state
39 return procServ.faketime++;
127 return vka_cnode_copy(dest, &procServ.serial_frame_cap_path, seL4_AllRights);
130 assert(procServ.vka.utspace_alloc_at);
131 return procServ.vka.utspace_alloc_at(data, dest, type, size_bits, paddr, cookie);
147 return vka_cnode_copy(path, &procServ.serial_frame_cap_path, seL4_AllRights);
150 return procServ.original_simple_get_frame_cap(data, paddr, size_bits, path);
213 int error = vka_cspace_alloc_path(&procServ.vka, &path);
218 vka_cspace_make_path(&procServ.vka, procServ
[all...]
H A Dmain.c125 struct procserv_state *s = &procServ;
142 initialise(platsupport_get_bootinfo(), &procServ); local
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dthread.c39 &procServ.vka, &procServ.vspace, &vspace->vspace, REFOS_PROCSERV_EP,
87 vka_cspace_make_path(&procServ.vka, thread_tcb_obj(thread), &path);
89 sel4utils_clean_up_thread(&procServ.vka, &thread->vspaceRef->vspace, &thread->sel4utilsThread);
H A Dprocess.c47 error = vka_alloc_frame(&procServ.vka, seL4_PageBits, &frame);
85 vka_free_object(&procServ.vka, &frame);
94 vka_cspace_make_path(&procServ.vka, ep, &pathSrc);
112 vka_cspace_make_path(&procServ.vka, ep, &pathSrc);
136 p, REFOS_PROCSERV_EP, procServ.endpoint.cptr,
143 p, REFOS_LIVENESS, procServ.endpoint.cptr,
225 &p->vspace.vspace, &procServ.vspace, &procServ.vka,
226 &procServ.vka, imageName
262 error = sel4utils_spawn_process_v(&n_process, &procServ
[all...]
/seL4-refos-master/apps/process_server/src/system/process/
H A Dthread.c39 &procServ.vka, &procServ.vspace, &vspace->vspace, REFOS_PROCSERV_EP,
87 vka_cspace_make_path(&procServ.vka, thread_tcb_obj(thread), &path);
89 sel4utils_clean_up_thread(&procServ.vka, &thread->vspaceRef->vspace, &thread->sel4utilsThread);
H A Dprocess.c47 error = vka_alloc_frame(&procServ.vka, seL4_PageBits, &frame);
85 vka_free_object(&procServ.vka, &frame);
94 vka_cspace_make_path(&procServ.vka, ep, &pathSrc);
112 vka_cspace_make_path(&procServ.vka, ep, &pathSrc);
136 p, REFOS_PROCSERV_EP, procServ.endpoint.cptr,
143 p, REFOS_LIVENESS, procServ.endpoint.cptr,
225 &p->vspace.vspace, &procServ.vspace, &procServ.vka,
226 &procServ.vka, imageName
262 error = sel4utils_spawn_process_v(&n_process, &procServ
[all...]
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddispatcher.c37 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge);
71 int error = vka_cspace_alloc_path(&procServ.vka, &cslot);
76 vka_cspace_make_path(&procServ.vka, c, &src);
80 vka_cspace_free(&procServ.vka, cslot.capPtr);
94 vka_cspace_make_path(&procServ.vka, c, &cslot);
97 vka_cspace_free(&procServ.vka, cslot.capPtr);
H A Dmem_syscall.c74 struct w_window* window = w_get_window(&procServ.windowList, windowID);
144 struct w_window *window = w_get_window(&procServ.windowList, aw->winID);
173 struct w_window *window = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
215 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
232 vka_cspace_make_path(&procServ.vka, faultNotifyEP, &faultNotifyEPPath);
257 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
292 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace);
323 struct w_window *window = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
339 assert(procServ.unblockClientFaultPID == PID_NULL);
340 procServ
[all...]
H A Dname_syscall.c53 int error = nameserv_add(&procServ.nameServRegList, rpc_name, anonCap);
75 nameserv_delete(&procServ.nameServRegList, rpc_name);
95 int resolvedBytes = nameserv_resolve(&procServ.nameServRegList, rpc_path, &anonCap);
H A Ddata_syscall.c55 struct ram_dspace *newDataspace = ram_dspace_create(&procServ.dspaceList, rpc_size);
69 ram_dspace_unref(&procServ.dspaceList, newDataspace->ID);
97 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
104 w_purge_dspace(&procServ.windowList, dspace);
107 pid_iterate(&procServ.PIDList, proc_dspace_delete_callback, (void*) dspace);
116 ram_dspace_unref(&procServ.dspaceList, dspace->ID);
156 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
181 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
207 struct w_window *window = w_get_window(&procServ.windowList, rpc_memoryWindow - W_BADGE_BASE);
217 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ
[all...]
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/
H A Dpagedir.c41 int error = vka_alloc_vspace_root(&procServ.vka, &pdlist->pd[i]);
59 error = vka_alloc_cnode_object(&procServ.vka, REFOS_CSPACE_RADIX, &pdlist->cnode[i]);
113 vka_cspace_make_path(&procServ.vka, pdPtr, &cpath);
117 vka_cspace_make_path(&procServ.vka, pdlist->cnode[idx].cptr, &cpath);
120 vka_free_object(&procServ.vka, &pdlist->cnode[idx]);
123 int error = vka_alloc_cnode_object(&procServ.vka, REFOS_CSPACE_RADIX, &pdlist->cnode[idx]);
H A Dvspace.c72 struct pd_info pdi = pd_assign(&procServ.PDList);
84 vka_cspace_make_path(&procServ.vka, vs->cspaceUnguarded, &pathTemp);
88 error = vka_cspace_alloc_path(&procServ.vka, &vs->cspace);
117 &procServ.vspace, &vs->vspace, &vs->vspaceData,
118 &procServ.vka, vs->kpd,
133 vka_cspace_free(&procServ.vka, vs->cspace.capPtr);
136 pd_free(&procServ.PDList, vs->kpd);
155 w_associate_release_associated_all_windows(&procServ.windowList, &vs->windows);
163 vka_cspace_make_path(&procServ.vka, kobj->cptr, &pathTemp);
166 vka_free_object(&procServ
[all...]
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddispatcher.c37 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge);
71 int error = vka_cspace_alloc_path(&procServ.vka, &cslot);
76 vka_cspace_make_path(&procServ.vka, c, &src);
80 vka_cspace_free(&procServ.vka, cslot.capPtr);
94 vka_cspace_make_path(&procServ.vka, c, &cslot);
97 vka_cspace_free(&procServ.vka, cslot.capPtr);
H A Dmem_syscall.c74 struct w_window* window = w_get_window(&procServ.windowList, windowID);
144 struct w_window *window = w_get_window(&procServ.windowList, aw->winID);
173 struct w_window *window = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
215 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
232 vka_cspace_make_path(&procServ.vka, faultNotifyEP, &faultNotifyEPPath);
257 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
292 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace);
323 struct w_window *window = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
339 assert(procServ.unblockClientFaultPID == PID_NULL);
340 procServ
[all...]
H A Dname_syscall.c53 int error = nameserv_add(&procServ.nameServRegList, rpc_name, anonCap);
75 nameserv_delete(&procServ.nameServRegList, rpc_name);
95 int resolvedBytes = nameserv_resolve(&procServ.nameServRegList, rpc_path, &anonCap);
H A Ddata_syscall.c55 struct ram_dspace *newDataspace = ram_dspace_create(&procServ.dspaceList, rpc_size);
69 ram_dspace_unref(&procServ.dspaceList, newDataspace->ID);
97 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
104 w_purge_dspace(&procServ.windowList, dspace);
107 pid_iterate(&procServ.PIDList, proc_dspace_delete_callback, (void*) dspace);
116 ram_dspace_unref(&procServ.dspaceList, dspace->ID);
156 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
181 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
207 struct w_window *window = w_get_window(&procServ.windowList, rpc_memoryWindow - W_BADGE_BASE);
217 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ
[all...]
/seL4-refos-master/apps/process_server/src/system/addrspace/
H A Dpagedir.c41 int error = vka_alloc_vspace_root(&procServ.vka, &pdlist->pd[i]);
59 error = vka_alloc_cnode_object(&procServ.vka, REFOS_CSPACE_RADIX, &pdlist->cnode[i]);
113 vka_cspace_make_path(&procServ.vka, pdPtr, &cpath);
117 vka_cspace_make_path(&procServ.vka, pdlist->cnode[idx].cptr, &cpath);
120 vka_free_object(&procServ.vka, &pdlist->cnode[idx]);
123 int error = vka_alloc_cnode_object(&procServ.vka, REFOS_CSPACE_RADIX, &pdlist->cnode[idx]);
H A Dvspace.c72 struct pd_info pdi = pd_assign(&procServ.PDList);
84 vka_cspace_make_path(&procServ.vka, vs->cspaceUnguarded, &pathTemp);
88 error = vka_cspace_alloc_path(&procServ.vka, &vs->cspace);
117 &procServ.vspace, &vs->vspace, &vs->vspaceData,
118 &procServ.vka, vs->kpd,
133 vka_cspace_free(&procServ.vka, vs->cspace.capPtr);
136 pd_free(&procServ.PDList, vs->kpd);
155 w_associate_release_associated_all_windows(&procServ.windowList, &vs->windows);
163 vka_cspace_make_path(&procServ.vka, kobj->cptr, &pathTemp);
166 vka_free_object(&procServ
[all...]
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest_process.c51 testPID = pid_alloc(&procServ.PIDList);
65 pid_free(&procServ.PIDList, pidTable[i]);
71 pid_iterate(&procServ.PIDList, test_pid_iteration_callback, (void*)(&count));
76 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]);
86 testPID = pid_alloc(&procServ.PIDList);
102 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]);
108 pid_free(&procServ.PIDList, pidTable[i]);
176 int error = vka_alloc_notification(&procServ.vka, &dummyEP[i]);
182 vka_cspace_make_path(&procServ.vka, dummyEP[i].cptr, &srcPath);
183 error = vka_cspace_alloc_path(&procServ
[all...]
H A Dtest_addrspace.c34 p[i] = pd_assign(&procServ.PDList).kpdObject;
38 pd_free(&procServ.PDList, p[i]);
41 p[i] = pd_assign(&procServ.PDList).kpdObject;
45 pd_free(&procServ.PDList, p[i]);
132 error = vka_alloc_frame(&procServ.vka, seL4_PageBits, &frame);
182 vka_free_object(&procServ.vka, &frame);
/seL4-refos-master/apps/process_server/src/test/
H A Dtest_process.c51 testPID = pid_alloc(&procServ.PIDList);
65 pid_free(&procServ.PIDList, pidTable[i]);
71 pid_iterate(&procServ.PIDList, test_pid_iteration_callback, (void*)(&count));
76 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]);
86 testPID = pid_alloc(&procServ.PIDList);
102 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]);
108 pid_free(&procServ.PIDList, pidTable[i]);
176 int error = vka_alloc_notification(&procServ.vka, &dummyEP[i]);
182 vka_cspace_make_path(&procServ.vka, dummyEP[i].cptr, &srcPath);
183 error = vka_cspace_alloc_path(&procServ
[all...]
H A Dtest_addrspace.c34 p[i] = pd_assign(&procServ.PDList).kpdObject;
38 pd_free(&procServ.PDList, p[i]);
41 p[i] = pd_assign(&procServ.PDList).kpdObject;
45 pd_free(&procServ.PDList, p[i]);
132 error = vka_alloc_frame(&procServ.vka, seL4_PageBits, &frame);
182 vka_free_object(&procServ.vka, &frame);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/
H A Ddataspace.c102 /* Unmap everywhere where this dataspace has been mapped, by notifying the global procServ
107 w_purge_dspace(&procServ.windowList, rds);
129 vka_cspace_free(&procServ.vka, rds->contentInitEP.capPtr);
143 vka_cspace_free(&procServ.vka, waiter->reply.capPtr);
153 vka_cspace_make_path(&procServ.vka, rds->pages[i].cptr, &path);
158 vka_cspace_free(&procServ.vka, path.capPtr);
161 vka_free_object(&procServ.vka, &rds->pages[i]);
171 vka_cspace_free(&procServ.vka, rds->capability.capPtr);
302 int error = vka_alloc_frame(&procServ.vka, seL4_PageBits, &dataspace->pages[idx]);
414 vka_cspace_free(&procServ
[all...]

Completed in 91 milliseconds

12