7 __libc_current_sigrtmin_private; __libc_current_sigrtmax_private;
8 __libc_allocate_rtsig_private;
9 # needed by pthread library
10 __syscall_sigprocmask;
11 __syscall_sigwaitinfo;
15 # needed by librt as INLINE_SYSCALL:
16 __syscall_clock_getcpuclockid2;