6 * It'd be nice to automatically generate the syscall symbols, but we
7 * don't know to what version they will eventually belong to, so for now
134 kmq_notify; /* Do we want these to be public interfaces? */
135 kmq_open; /* librt uses them to provide mq_xxx. */
209 sched_get_priority_max;
210 sched_get_priority_min;
213 sched_rr_get_interval;
278 ktimer_create; /* Do we want these to be public interfaces? */
279 ktimer_delete; /* librt uses them to provide timer_xxx. */
361 clock_getcpuclockid2;
418 __sys___acl_aclcheck_fd;
419 ___acl_aclcheck_file;
420 __sys___acl_aclcheck_file;
421 ___acl_aclcheck_link;
422 __sys___acl_aclcheck_link;
424 __sys___acl_delete_fd;
426 __sys___acl_delete_file;
428 __sys___acl_delete_link;
432 __sys___acl_get_file;
434 __sys___acl_get_link;
438 __sys___acl_set_file;
440 __sys___acl_set_link;
448 __sys___mac_get_file;
450 __sys___mac_get_link;
454 __sys___mac_get_proc;
458 __sys___mac_set_file;
460 __sys___mac_set_link;
462 __sys___mac_set_proc;
491 __sys_aio_waitcomplete;
511 _clock_getcpuclockid2;
512 __sys_clock_getcpuclockid2;
517 __sys_clock_nanosleep;
533 __sys_cpuset_getaffinity;
535 __sys_cpuset_setaffinity;
545 __sys_extattr_delete_fd;
546 _extattr_delete_file;
547 __sys_extattr_delete_file;
548 _extattr_delete_link;
549 __sys_extattr_delete_link;
551 __sys_extattr_get_fd;
553 __sys_extattr_get_file;
555 __sys_extattr_get_link;
557 __sys_extattr_list_fd;
559 __sys_extattr_list_file;
561 __sys_extattr_list_link;
563 __sys_extattr_set_fd;
565 __sys_extattr_set_file;
567 __sys_extattr_set_link;
697 __sys_kmq_timedreceive;
717 __sys_ksem_timedwait;
849 _sched_get_priority_max;
850 __sys_sched_get_priority_max;
851 _sched_get_priority_min;
852 __sys_sched_get_priority_min;
854 __sys_sched_getparam;
856 __sys_sched_getscheduler;
857 _sched_rr_get_interval;
858 __sys_sched_rr_get_interval;
860 __sys_sched_setparam;
862 __sys_sched_setscheduler;
1001 __sys_ktimer_getoverrun;
1003 __sys_ktimer_gettime;
1005 __sys_ktimer_settime;
1028 __set_error_selector;
1031 __libc_interposing_slot;
1034 __sys_cpuset_getdomain;
1036 __sys_cpuset_setdomain;