/seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
H A D | state.c | 34 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 D | main.c | 125 struct procserv_state *s = &procServ; 142 initialise(platsupport_get_bootinfo(), &procServ); local
|
/seL4-refos-master/apps/process_server/src/ |
H A D | state.c | 34 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 D | main.c | 125 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 D | thread.c | 39 &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 D | process.c | 47 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 D | thread.c | 39 &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 D | process.c | 47 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 D | dispatcher.c | 37 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 D | mem_syscall.c | 74 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 D | name_syscall.c | 53 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 D | data_syscall.c | 55 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 D | pagedir.c | 41 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 D | vspace.c | 72 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 D | dispatcher.c | 37 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 D | mem_syscall.c | 74 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 D | name_syscall.c | 53 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 D | data_syscall.c | 55 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 D | pagedir.c | 41 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 D | vspace.c | 72 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 D | test_process.c | 51 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 D | test_addrspace.c | 34 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 D | test_process.c | 51 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 D | test_addrspace.c | 34 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 D | dataspace.c | 102 /* 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...] |