Searched refs:clientPCB (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | mem_syscall.c | 330 struct proc_pcb *clientPCB = NULL; local
332 &clientPCB);
336 assert(clientPCB != NULL && clientPCB->magic == REFOS_PCB_MAGIC);
340 procServ.unblockClientFaultPID = clientPCB->pid;
370 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList, window->clientOwnerPID); local
371 if (!clientPCB) {
375 assert(clientPCB->magic == REFOS_PCB_MAGIC);
377 return vs_map_device(&clientPCB->vspace, window, rpc_windowOffset, rpc_paddr, rpc_size,
385 struct proc_pcb *clientPCB local
[all...] |
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | mem_syscall.c | 330 struct proc_pcb *clientPCB = NULL; local
332 &clientPCB);
336 assert(clientPCB != NULL && clientPCB->magic == REFOS_PCB_MAGIC);
340 procServ.unblockClientFaultPID = clientPCB->pid;
370 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList, window->clientOwnerPID); local
371 if (!clientPCB) {
375 assert(clientPCB->magic == REFOS_PCB_MAGIC);
377 return vs_map_device(&clientPCB->vspace, window, rpc_windowOffset, rpc_paddr, rpc_size,
385 struct proc_pcb *clientPCB local
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 480 struct proc_pcb *clientPCB = pid_get_pcb(&procServ.PIDList, windowDest->clientOwnerPID); local
481 if (!clientPCB) {
486 (*outClientPCB) = clientPCB;
490 struct w_associated_window *wa = w_associate_find_winID(&clientPCB->vspace.windows,
497 return vs_map(&clientPCB->vspace, wa->offset + windowDestOffset, &frameCap, 1);
520 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList, window->clientOwnerPID); local
521 if (!clientPCB) {
525 assert(clientPCB->magic == REFOS_PCB_MAGIC);
526 if (&clientPCB->vspace != vs) {
529 struct w_associated_window *wa = w_associate_find_winID(&clientPCB
[all...] |
| /seL4-refos-master/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 480 struct proc_pcb *clientPCB = pid_get_pcb(&procServ.PIDList, windowDest->clientOwnerPID); local
481 if (!clientPCB) {
486 (*outClientPCB) = clientPCB;
490 struct w_associated_window *wa = w_associate_find_winID(&clientPCB->vspace.windows,
497 return vs_map(&clientPCB->vspace, wa->offset + windowDestOffset, &frameCap, 1);
520 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList, window->clientOwnerPID); local
521 if (!clientPCB) {
525 assert(clientPCB->magic == REFOS_PCB_MAGIC);
526 if (&clientPCB->vspace != vs) {
529 struct w_associated_window *wa = w_associate_find_winID(&clientPCB
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | window.c | 65 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList, local
67 if (clientPCB) {
68 vs_unmap_window(&clientPCB->vspace, window->wID);
|
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | window.c | 65 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList, local
67 if (clientPCB) {
68 vs_unmap_window(&clientPCB->vspace, window->wID);
|
Completed in 85 milliseconds