| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 17 #include "../process/pid.h"
53 vs_initialise(struct vs_vspace *vs, uint32_t pid) argument
62 vs->pid = pid;
147 dvprintf(" Releasing VSpace PID %d...\n", vs->pid);
246 struct w_window *window = w_create_window(&procServ.windowList, size, vs->pid,
|
| /seL4-refos-master/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 17 #include "../process/pid.h"
53 vs_initialise(struct vs_vspace *vs, uint32_t pid) argument
62 vs->pid = pid;
147 dvprintf(" Releasing VSpace PID %d...\n", vs->pid);
246 struct w_window *window = w_create_window(&procServ.windowList, size, vs->pid,
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | restore.c | 696 getlev(fd, pid, lev, ghostly)
697 int fd, pid;
731 if ((pid && pid != hpid) || (lev && dlvl != lev)) {
734 if (pid && pid != hpid)
736 hpid, pid);
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | restore.c | 696 getlev(fd, pid, lev, ghostly)
697 int fd, pid;
731 if ((pid && pid != hpid) || (lev && dlvl != lev)) {
734 if (pid && pid != hpid)
736 hpid, pid);
|
| /seL4-refos-master/libs/libmuslc/src/internal/ |
| H A D | pthread_impl.h | 20 pid_t tid, pid; member in struct:pthread
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | mem_syscall.c | 233 w_set_pager_endpoint(win, faultNotifyEPPath, pcb->pid);
340 procServ.unblockClientFaultPID = clientPCB->pid;
|
| H A D | data_syscall.c | 22 #include "../system/process/pid.h"
330 int error = ram_dspace_content_init(dspace, path, pcb->pid);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | mem_syscall.c | 233 w_set_pager_endpoint(win, faultNotifyEPPath, pcb->pid);
340 procServ.unblockClientFaultPID = clientPCB->pid;
|
| H A D | data_syscall.c | 22 #include "../system/process/pid.h"
330 int error = ram_dspace_content_init(dspace, path, pcb->pid);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | window.c | 20 #include "../process/pid.h"
215 w_set_pager_endpoint(struct w_window *window, cspacepath_t endpoint, uint32_t pid) argument
224 window->pagerPID = pid;
|
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | window.c | 20 #include "../process/pid.h"
215 w_set_pager_endpoint(struct w_window *window, cspacepath_t endpoint, uint32_t pid) argument
224 window->pagerPID = pid;
|
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 402 pid_t pid = va_arg(ap, pid_t); local
409 (void) pid;
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 402 pid_t pid = va_arg(ap, pid_t); local
409 (void) pid;
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
| H A D | test_addrspace.c | 69 test_assert(vs[i].pid == bogusPID);
|
| /seL4-refos-master/apps/process_server/src/test/ |
| H A D | test_addrspace.c | 69 test_assert(vs[i].pid == bogusPID);
|
| /seL4-refos-master/libs/libmuslc/include/sys/ |
| H A D | socket.h | 24 pid_t pid; member in struct:ucred
|