Searched refs:pid (Results 1 - 25 of 66) sorted by relevance

123

/seL4-refos-master/libs/libmuslc/src/signal/
H A Dkill.c4 int kill(pid_t pid, int sig) argument
6 return syscall(SYS_kill, pid, sig);
/seL4-refos-master/libs/libmuslc/src/unistd/
H A Dgetpgid.c4 pid_t getpgid(pid_t pid) argument
6 return syscall(SYS_getpgid, pid);
H A Dgetsid.c4 pid_t getsid(pid_t pid) argument
6 return syscall(SYS_getsid, pid);
H A Dsetpgid.c4 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 Dpid.c13 #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 Dpid.h62 @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 Dproc_client_watch.h46 /*! @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 Dproc_client_watch.c37 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 Dpid.c13 #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 Dpid.h62 @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 Dproc_client_watch.h46 /*! @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 Dproc_client_watch.c37 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 Dwaitpid.c5 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 Dsched_rr_get_interval.c4 int sched_rr_get_interval(pid_t pid, struct timespec *ts) argument
6 return syscall(SYS_sched_rr_get_interval, pid, ts);
H A Dsched_getscheduler.c5 int sched_getscheduler(pid_t pid) argument
H A Dsched_getparam.c5 int sched_getparam(pid_t pid, struct sched_param *param) argument
H A Dsched_setparam.c5 int sched_setparam(pid_t pid, const struct sched_param *param) argument
H A Dsched_setscheduler.c5 int sched_setscheduler(pid_t pid, int sched, const struct sched_param *param) argument
/seL4-refos-master/libs/libmuslc/src/linux/
H A Dprocess_vm.c5 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 Dwait4.c6 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 Dptrace.c9 pid_t pid; local
14 pid = va_arg(ap, pid_t);
21 ret = syscall(SYS_ptrace, req, pid, addr, data, addr2);
H A Dprlimit.c8 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 Dpclose.c8 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 Dclock_getcpuclockid.c6 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 Dforkpty.c12 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;

Completed in 109 milliseconds

123