Searched refs:pid_t (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DDataIn.c166 pid_t typedef
H A DRPCFrom.c2675 pid_t typedef
/seL4-l4v-master/HOL4/src/integer/testing/
H A Dtcooper.c13 pid_t childpid;
/seL4-l4v-master/isabelle/Admin/bash_process/
H A Dbash_process.c54 pid_t pid = fork();
/seL4-l4v-master/l4v/isabelle/Admin/bash_process/
H A Dbash_process.c54 pid_t pid = fork();
/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h717 #undef pid_t macro
718 #define pid_t int macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp410 pid_t pid = fork();
428 pid_t pid = getpid();
435 pid_t pid = getppid();
470 pid_t pid = getpgrp();
647 pid_t pid = setsid();
654 pid_t pid = get_C_long(taskData, DEREFHANDLE(args)->Get(0));
655 pid_t pgid = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
1108 pid_t pid = tcgetpgrp(getStreamFileDescriptor(taskData, args->Word()));
1115 pid_t pid = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
1217 pid_t pre
[all...]
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DGlobal.h121 pid_t pid = getpid();
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c441 typedef int pid_t; typedef

Completed in 82 milliseconds