Searched refs:camkes_pid (Results 1 - 3 of 3) sorted by path

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dpid.h21 extern const pid_t camkes_pid;
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dsys_exit.c46 return (long)camkes_pid;
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c1045 const pid_t camkes_pid = (pid_t)/*? index ?*/ + (pid_t)2; variable

Completed in 53 milliseconds