Searched refs:sys_eventfd2 (Results 1 - 4 of 4) sorted by path

/seL4-refos-master/libs/librefos/src/refos-util/
H A Dinit.c335 long sys_eventfd2(va_list ap);
676 syscall_table[__NR_eventfd2] = sys_eventfd2;
/seL4-refos-master/libs/librefossys/src/
H A Dsys_stubs.c1257 long sys_eventfd2(va_list ap) { function
1258 assert(!"sys_eventfd2 not implemented");
2521 long sys_eventfd2(va_list ap) { function
2522 assert(!"sys_eventfd2 not implemented");
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dinit.c335 long sys_eventfd2(va_list ap);
676 syscall_table[__NR_eventfd2] = sys_eventfd2;
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/
H A Dsys_stubs.c1257 long sys_eventfd2(va_list ap) { function
1258 assert(!"sys_eventfd2 not implemented");
2521 long sys_eventfd2(va_list ap) { function
2522 assert(!"sys_eventfd2 not implemented");

Completed in 83 milliseconds