Searched defs:pid (Results 1 - 10 of 10) sorted by relevance
| /seL4-l4v-10.1.1/isabelle/Admin/bash_process/ |
| H A D | bash_process.c | 54 pid_t pid = fork(); local
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | statistics.cpp | 172 DWORD pid = ::GetCurrentProcessId(); local
|
| H A D | process_env.cpp | 157 int pid; member in class:CygwinSpawnRequest
217 intptr_t pid = _tspawnvp(_P_NOWAIT, argv[0], argv); local
230 int pid = request.pid; local
240 int pid = vfork(); local
[all...] |
| H A D | unix_specific.cpp | 414 pid_t pid = fork(); local
422 int pid = get_C_long(taskData, DEREFHANDLE(args)->Get(0)); local
430 pid_t pid = getpid(); local
437 pid_t pid local
472 pid_t pid = getpgrp(); local
695 pid_t pid = setsid(); local
702 pid_t pid = get_C_long(taskData, DEREFHANDLE(args)->Get(0)); local
1234 pid_t pid = tcgetpgrp(strm->device.ioDesc); local
1242 pid_t pid = get_C_long(taskData, DEREFHANDLE(args)->Get(1)); local
1293 int pid = get_C_long(taskData, DEREFHANDLE(args)->Get(1)); local
[all...] |
| /seL4-l4v-10.1.1/l4v/isabelle/Admin/bash_process/ |
| H A D | bash_process.c | 54 pid_t pid = fork(); local
|
| /seL4-l4v-10.1.1/l4v/misc/autostop/ |
| H A D | stop.c | 79 name_of(int pid, char *output, size_t len) { argument
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | Global.h | 121 pid_t pid = getpid(); local
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/ |
| H A D | ProcessMultiplexor.sml | 11 type pid = Posix.ProcEnv.pid type
271 val pid = #pid job value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/tactictoe/src/ |
| H A D | tttSearch.sml | 577 val (pid,pripol) = mc_node_find 0 value
711 val pid = hd (dkeys (!install_async)) value
827 val (pid,pripol) = node_find_timer node_find () value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Posix.sml | 354 val pid : flock -> pid option value
558 where type pid = Process.pid type
564 where type pid = Process.pid type
571 where type pid = Process.pid type
762 type pid = int type
820 val (pid, status) = value
836 val (pid, status) = waitpid(wpa, W.nohang :: flags) value
906 type pid = Process.pid and file_desc = OS.IO.iodesc type
1240 type file_desc = OS.IO.iodesc and pid = Process.pid type
1385 fun pid (_, _, _, _, pid) = if pid < 0 then NONE else SOME pid function
1452 type pid = Process.pid and file_desc = OS.IO.iodesc type
[all...] |
Completed in 75 milliseconds