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

/seL4-refos-master/libs/librefos/src/refos-util/
H A Dinit.c58 long sys_restart_syscall(va_list ap);
399 syscall_table[__NR_restart_syscall] = sys_restart_syscall;
/seL4-refos-master/libs/librefossys/src/
H A Dsys_stubs.c21 long sys_restart_syscall(va_list ap) { function
22 assert(!"sys_restart_syscall not implemented");
1341 long sys_restart_syscall(va_list ap) { function
1342 assert(!"sys_restart_syscall not implemented");
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dinit.c58 long sys_restart_syscall(va_list ap);
399 syscall_table[__NR_restart_syscall] = sys_restart_syscall;
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/
H A Dsys_stubs.c21 long sys_restart_syscall(va_list ap) { function
22 assert(!"sys_restart_syscall not implemented");
1341 long sys_restart_syscall(va_list ap) { function
1342 assert(!"sys_restart_syscall not implemented");

Completed in 42 milliseconds