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

/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A Dsysproxy.c292 pid_t spc_pid; member in struct:spclient
1488 sysnum, spc->spc_pid));
1490 if (__predict_false((rv = lwproc_newlwp(spc->spc_pid)) != 0)) {
1881 spc->spc_pid = lwproc_getpid();
1884 spc, spc->spc_pid));

Completed in 27 milliseconds