Searched refs:pcb (Results 1 - 24 of 24) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dproc_syscall.c45 @param pcb Handle to the process to create the object for. (no ownership)
51 proc_syscall_allocate_endpoint(struct proc_pcb *pcb, kobject_t type) argument
53 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
71 vs_track_obj(&pcb->vspace, endpoint);
80 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
81 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
82 assert(pcb->magic == REFOS_PCB_MAGIC);
84 (void) pcb;
95 struct proc_pcb *pcb local
111 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
132 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
179 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
214 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
252 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
283 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
296 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
308 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
316 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
[all...]
H A Dname_syscall.c29 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
30 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
31 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
66 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
67 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
68 (void) pcb;
83 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
84 assert(pcb
[all...]
H A Dmem_syscall.c52 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
53 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
65 int error = vs_create_window(&pcb->vspace, rpc_vaddr, rpc_size, rpc_permissions, cached,
92 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
93 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
94 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
107 return vs_resize_window(&pcb->vspace, rpc_window - W_BADGE_BASE, rpc_size);
114 struct proc_pcb *pcb local
134 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
158 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
202 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
244 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
280 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
311 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
349 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
[all...]
H A Ddata_syscall.c35 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
36 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
38 (void) pcb;
65 if (pcb->systemCapabilitiesMask & PROCESS_PERMISSION_DEVICE_MAP) {
83 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
84 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
85 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
142 struct proc_pcb *pcb local
168 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
195 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
237 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
290 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
355 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
[all...]
H A Ddispatcher.c37 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge); local
38 if (!pcb) {
49 pcb->rpcClient.userptr = (void*) m;
50 pcb->rpcClient.minfo = m->message;
51 (*userptr) = (void*) pcb;
101 dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen) argument
103 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
106 if (!pcb->paramBuffer && readLen) {
123 int error = ram_dspace_read(tempBuffer, readLen, pcb
[all...]
H A Dfault_handler.c36 struct proc_pcb *pcb; member in struct:procserv_vmfault_msg
57 f->pcb->pid, f->pcb->debugProcessName);
81 assert(f && f->pcb);
92 int error = proc_save_caller(f->pcb);
132 assert(f && f->pcb);
140 dvprintf("# PID %d VM fault ������������������ anon RAM dspace %d\n", f->pcb->pid, dspace->ID);
201 int error = vs_map(&f->pcb->vspace, f->faultAddr, &frame, 1);
226 assert(f && f->pcb);
272 assert(f && f->pcb);
361 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge); local
[all...]
H A Ddispatcher.h135 @param pcb The PCB of the process to read parameter buffer from.
139 char* dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dproc_syscall.c45 @param pcb Handle to the process to create the object for. (no ownership)
51 proc_syscall_allocate_endpoint(struct proc_pcb *pcb, kobject_t type) argument
53 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
71 vs_track_obj(&pcb->vspace, endpoint);
80 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
81 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
82 assert(pcb->magic == REFOS_PCB_MAGIC);
84 (void) pcb;
95 struct proc_pcb *pcb local
111 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
132 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
179 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
214 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
252 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
283 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
296 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
308 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
316 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
[all...]
H A Dname_syscall.c29 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
30 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
31 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
66 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
67 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
68 (void) pcb;
83 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
84 assert(pcb
[all...]
H A Dmem_syscall.c52 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
53 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
65 int error = vs_create_window(&pcb->vspace, rpc_vaddr, rpc_size, rpc_permissions, cached,
92 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
93 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
94 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
107 return vs_resize_window(&pcb->vspace, rpc_window - W_BADGE_BASE, rpc_size);
114 struct proc_pcb *pcb local
134 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
158 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
202 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
244 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
280 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
311 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
349 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
[all...]
H A Ddata_syscall.c35 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
36 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
38 (void) pcb;
65 if (pcb->systemCapabilitiesMask & PROCESS_PERMISSION_DEVICE_MAP) {
83 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
84 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
85 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
142 struct proc_pcb *pcb local
168 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
195 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
237 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
290 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
355 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local
[all...]
H A Ddispatcher.c37 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge); local
38 if (!pcb) {
49 pcb->rpcClient.userptr = (void*) m;
50 pcb->rpcClient.minfo = m->message;
51 (*userptr) = (void*) pcb;
101 dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen) argument
103 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
106 if (!pcb->paramBuffer && readLen) {
123 int error = ram_dspace_read(tempBuffer, readLen, pcb
[all...]
H A Dfault_handler.c36 struct proc_pcb *pcb; member in struct:procserv_vmfault_msg
57 f->pcb->pid, f->pcb->debugProcessName);
81 assert(f && f->pcb);
92 int error = proc_save_caller(f->pcb);
132 assert(f && f->pcb);
140 dvprintf("# PID %d VM fault ������������������ anon RAM dspace %d\n", f->pcb->pid, dspace->ID);
201 int error = vs_map(&f->pcb->vspace, f->faultAddr, &frame, 1);
226 assert(f && f->pcb);
272 assert(f && f->pcb);
361 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge); local
[all...]
H A Ddispatcher.h135 @param pcb The PCB of the process to read parameter buffer from.
139 char* dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dproc_client_watch.c137 client_watch_notify_death_callback(struct proc_pcb *pcb, void *cookie) argument
140 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
142 if (pcb->pid == deathPID) {
148 seL4_CPtr ep = client_watch_get(&pcb->clientWatchList, deathPID);
155 pcb->pid, pcb->debugProcessName, deathPID, ep);
156 if (!pcb->notificationBuffer) {
158 pcb->pid, pcb
[all...]
H A Dpid.c120 struct proc_pcb* pcb = pid_get_pcb(p, i); local
121 if (pcb != NULL) {
122 callback(pcb, cookie);
H A Dproc_client_watch.h70 @param pcb The current iterating PCB containign watchlist to go through.
73 void client_watch_notify_death_callback(struct proc_pcb *pcb, void *cookie);
H A Dprocess.c169 proc_purge_pid_callback(struct proc_pcb *pcb, void *cookie) argument
172 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
173 if (pcb->pid == deathPID) {
178 if (pcb->parentPID == deathPID) {
179 pcb->parentPID = PID_NULL;
180 pcb->parentWaiting = false;
314 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, npid); local
315 assert(pcb);
319 int error = proc_config_new(pcb, npi
686 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, procServ.exitProcessPID); local
[all...]
/seL4-refos-master/apps/process_server/src/system/process/
H A Dproc_client_watch.c137 client_watch_notify_death_callback(struct proc_pcb *pcb, void *cookie) argument
140 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
142 if (pcb->pid == deathPID) {
148 seL4_CPtr ep = client_watch_get(&pcb->clientWatchList, deathPID);
155 pcb->pid, pcb->debugProcessName, deathPID, ep);
156 if (!pcb->notificationBuffer) {
158 pcb->pid, pcb
[all...]
H A Dpid.c120 struct proc_pcb* pcb = pid_get_pcb(p, i); local
121 if (pcb != NULL) {
122 callback(pcb, cookie);
H A Dproc_client_watch.h70 @param pcb The current iterating PCB containign watchlist to go through.
73 void client_watch_notify_death_callback(struct proc_pcb *pcb, void *cookie);
H A Dprocess.c169 proc_purge_pid_callback(struct proc_pcb *pcb, void *cookie) argument
172 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
173 if (pcb->pid == deathPID) {
178 if (pcb->parentPID == deathPID) {
179 pcb->parentPID = PID_NULL;
180 pcb->parentWaiting = false;
314 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, npid); local
315 assert(pcb);
319 int error = proc_config_new(pcb, npi
686 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, procServ.exitProcessPID); local
[all...]
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest_process.c31 test_pid_iteration_callback(struct proc_pcb *pcb, void *cookie) argument
46 struct proc_pcb *pcb; local
76 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]);
78 test_assert(pcb == NULL);
80 test_assert(pcb != NULL);
102 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]);
103 test_assert(pcb != NULL);
/seL4-refos-master/apps/process_server/src/test/
H A Dtest_process.c31 test_pid_iteration_callback(struct proc_pcb *pcb, void *cookie) argument
46 struct proc_pcb *pcb; local
76 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]);
78 test_assert(pcb == NULL);
80 test_assert(pcb != NULL);
102 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]);
103 test_assert(pcb != NULL);

Completed in 102 milliseconds