/seL4-refos-master/libs/libmuslc/src/signal/ |
H A D | kill.c | 4 int kill(pid_t pid, int sig) argument 6 return syscall(SYS_kill, pid, sig);
|
/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | getpgid.c | 4 pid_t getpgid(pid_t pid) argument 6 return syscall(SYS_getpgid, pid);
|
H A D | getsid.c | 4 pid_t getsid(pid_t pid) argument 6 return syscall(SYS_getsid, pid);
|
H A D | setpgid.c | 4 int setpgid(pid_t pid, pid_t pgid) argument 6 return syscall(SYS_setpgid, pid, pgid);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | pid.c | 13 #include "pid.h" 37 uint32_t pid = cpool_alloc(&p->pids); local 39 if (pid < PID_START || pid >= PID_MAX) { 45 assert(p->pcbs[pid] == NULL); 48 p->pcbs[pid] = kmalloc(sizeof(struct proc_pcb)); 49 if (p->pcbs[pid] == NULL) { 51 cpool_free(&p->pids, pid); 54 memset(p->pcbs[pid], 0, sizeof(struct proc_pcb)); 55 return pid; 59 pid_free(struct pid_list *p, uint32_t pid) argument 75 pid_get_pcb(struct pid_list *p, uint32_t pid) argument 85 pid_get_badge(uint32_t pid) argument 105 pid_get_liveness_badge(uint32_t pid) argument [all...] |
H A D | pid.h | 62 @param pid PID intended to be freed and recycled. 64 void pid_free(struct pid_list *p, uint32_t pid); 68 @param pid PID of process to look up. 69 @return the proc_pcb struct corresponding to pid if success, NULL otherwise. 71 struct proc_pcb* pid_get_pcb(struct pid_list *p, uint32_t pid); 76 @return the proc_pcb struct corresponding to pid if success, NULL otherwise. 81 @param pid PID of valid process. 84 uint32_t pid_get_badge(uint32_t pid); 87 @param pid PID of valid process. 90 uint32_t pid_get_liveness_badge(uint32_t pid); [all...] |
H A D | proc_client_watch.h | 46 /*! @brief Get the current death notification notify EP for a given pid. 48 @param pid The PID of client being watched. 52 seL4_CPtr client_watch_get(struct proc_watch_list *wl, uint32_t pid); 56 @param pid The PID of client to watch. 60 int client_watch(struct proc_watch_list *wl, uint32_t pid, seL4_CPtr notifyEP); 64 @param pid The PId of client to stop watching. 66 void client_unwatch(struct proc_watch_list *wl, uint32_t pid); 69 to be used with pid_iterate() in <process/pid.h>.
|
H A D | proc_client_watch.c | 37 client_watch_find(struct proc_watch_list *wl, uint32_t pid) argument 43 if (_pid == pid) { 76 client_watch_get(struct proc_watch_list *wl, uint32_t pid) argument 78 int idx = client_watch_find(wl, pid); 88 client_watch(struct proc_watch_list *wl, uint32_t pid, seL4_CPtr notifyEP) argument 105 int idx = client_watch_find(wl, pid); 108 client_unwatch(wl, pid); 112 dprintf("Adding client_watch pid %d notifyEP 0x%x\n", pid, notifyEP); 113 cvector_add(&wl->clientList, (cvector_item_t) pid); 121 client_unwatch(struct proc_watch_list *wl, uint32_t pid) argument [all...] |
/seL4-refos-master/apps/process_server/src/system/process/ |
H A D | pid.c | 13 #include "pid.h" 37 uint32_t pid = cpool_alloc(&p->pids); local 39 if (pid < PID_START || pid >= PID_MAX) { 45 assert(p->pcbs[pid] == NULL); 48 p->pcbs[pid] = kmalloc(sizeof(struct proc_pcb)); 49 if (p->pcbs[pid] == NULL) { 51 cpool_free(&p->pids, pid); 54 memset(p->pcbs[pid], 0, sizeof(struct proc_pcb)); 55 return pid; 59 pid_free(struct pid_list *p, uint32_t pid) argument 75 pid_get_pcb(struct pid_list *p, uint32_t pid) argument 85 pid_get_badge(uint32_t pid) argument 105 pid_get_liveness_badge(uint32_t pid) argument [all...] |
H A D | pid.h | 62 @param pid PID intended to be freed and recycled. 64 void pid_free(struct pid_list *p, uint32_t pid); 68 @param pid PID of process to look up. 69 @return the proc_pcb struct corresponding to pid if success, NULL otherwise. 71 struct proc_pcb* pid_get_pcb(struct pid_list *p, uint32_t pid); 76 @return the proc_pcb struct corresponding to pid if success, NULL otherwise. 81 @param pid PID of valid process. 84 uint32_t pid_get_badge(uint32_t pid); 87 @param pid PID of valid process. 90 uint32_t pid_get_liveness_badge(uint32_t pid); [all...] |
H A D | proc_client_watch.h | 46 /*! @brief Get the current death notification notify EP for a given pid. 48 @param pid The PID of client being watched. 52 seL4_CPtr client_watch_get(struct proc_watch_list *wl, uint32_t pid); 56 @param pid The PID of client to watch. 60 int client_watch(struct proc_watch_list *wl, uint32_t pid, seL4_CPtr notifyEP); 64 @param pid The PId of client to stop watching. 66 void client_unwatch(struct proc_watch_list *wl, uint32_t pid); 69 to be used with pid_iterate() in <process/pid.h>.
|
H A D | proc_client_watch.c | 37 client_watch_find(struct proc_watch_list *wl, uint32_t pid) argument 43 if (_pid == pid) { 76 client_watch_get(struct proc_watch_list *wl, uint32_t pid) argument 78 int idx = client_watch_find(wl, pid); 88 client_watch(struct proc_watch_list *wl, uint32_t pid, seL4_CPtr notifyEP) argument 105 int idx = client_watch_find(wl, pid); 108 client_unwatch(wl, pid); 112 dprintf("Adding client_watch pid %d notifyEP 0x%x\n", pid, notifyEP); 113 cvector_add(&wl->clientList, (cvector_item_t) pid); 121 client_unwatch(struct proc_watch_list *wl, uint32_t pid) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/process/ |
H A D | waitpid.c | 5 pid_t waitpid(pid_t pid, int *status, int options) argument 7 return syscall_cp(SYS_wait4, pid, status, options, 0);
|
/seL4-refos-master/libs/libmuslc/src/sched/ |
H A D | sched_rr_get_interval.c | 4 int sched_rr_get_interval(pid_t pid, struct timespec *ts) argument 6 return syscall(SYS_sched_rr_get_interval, pid, ts);
|
H A D | sched_getscheduler.c | 5 int sched_getscheduler(pid_t pid) argument
|
H A D | sched_getparam.c | 5 int sched_getparam(pid_t pid, struct sched_param *param) argument
|
H A D | sched_setparam.c | 5 int sched_setparam(pid_t pid, const struct sched_param *param) argument
|
H A D | sched_setscheduler.c | 5 int sched_setscheduler(pid_t pid, int sched, const struct sched_param *param) argument
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | process_vm.c | 5 ssize_t process_vm_writev(pid_t pid, const struct iovec *lvec, unsigned long liovcnt, const struct iovec *rvec, unsigned long riovcnt, unsigned long flags) argument 7 return syscall(SYS_process_vm_writev, pid, lvec, liovcnt, rvec, riovcnt, flags); 10 ssize_t process_vm_readv(pid_t pid, const struct iovec *lvec, unsigned long liovcnt, const struct iovec *rvec, unsigned long riovcnt, unsigned long flags) argument 12 return syscall(SYS_process_vm_readv, pid, lvec, liovcnt, rvec, riovcnt, flags);
|
H A D | wait4.c | 6 pid_t wait4(pid_t pid, int *status, int options, struct rusage *usage) argument 8 return syscall(SYS_wait4, pid, status, options, usage);
|
H A D | ptrace.c | 9 pid_t pid; local 14 pid = va_arg(ap, pid_t); 21 ret = syscall(SYS_ptrace, req, pid, addr, data, addr2);
|
H A D | prlimit.c | 8 int prlimit(pid_t pid, int resource, const struct rlimit *new_limit, struct rlimit *old_limit) argument 18 r = syscall(SYS_prlimit64, pid, resource, new_limit, old_limit);
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | pclose.c | 8 pid_t pid = f->pipe_pid; local 10 while ((r=__syscall(SYS_wait4, pid, &status, 0, 0)) == -EINTR);
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | clock_getcpuclockid.c | 6 int clock_getcpuclockid(pid_t pid, clockid_t *clk) argument 9 clockid_t id = (-pid-1)*8U + 2;
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | forkpty.c | 12 pid_t pid=-1; local 26 pid = fork(); 27 if (!pid) { 43 waitpid(pid, &status, 0); 44 pid = -1; 50 if (pid > 0) *pm = m; 56 return pid;
|