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

/seL4-refos-master/libs/librefossys/src/
H A Dsys_ignored.c19 long sys_getpid(va_list ap) { function
H A Dsyscalls.h23 long sys_getpid(va_list ap);
H A Dvsyscall.c31 [__NR_getpid] = sys_getpid,
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/
H A Dsys_ignored.c19 long sys_getpid(va_list ap) { function
H A Dsyscalls.h23 long sys_getpid(va_list ap);
H A Dvsyscall.c31 [__NR_getpid] = sys_getpid,
/seL4-refos-master/libs/libsel4muslcsys/src/
H A Dsys_exit.c48 long sys_getpid(va_list ap) function
H A Dsyscalls.h24 long sys_getpid(va_list ap);
H A Dvsyscall.c132 [__NR_getpid] = sys_getpid,
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_exit.c48 long sys_getpid(va_list ap) function
H A Dsyscalls.h24 long sys_getpid(va_list ap);
H A Dvsyscall.c132 [__NR_getpid] = sys_getpid,
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dinit.c74 long sys_getpid(va_list ap);
415 syscall_table[__NR_getpid] = sys_getpid;
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dinit.c74 long sys_getpid(va_list ap);
415 syscall_table[__NR_getpid] = sys_getpid;

Completed in 48 milliseconds