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. */
211 sched_get_priority_max;
212 sched_get_priority_min;
215 sched_rr_get_interval;
280 ktimer_create; /* Do we want these to be public interfaces? */
281 ktimer_delete; /* librt uses them to provide timer_xxx. */
363 clock_getcpuclockid2;
408 __sys___acl_aclcheck_fd;
409 ___acl_aclcheck_file;
410 __sys___acl_aclcheck_file;
411 ___acl_aclcheck_link;
412 __sys___acl_aclcheck_link;
414 __sys___acl_delete_fd;
416 __sys___acl_delete_file;
418 __sys___acl_delete_link;
422 __sys___acl_get_file;
424 __sys___acl_get_link;
428 __sys___acl_set_file;
430 __sys___acl_set_link;
438 __sys___mac_get_file;
440 __sys___mac_get_link;
444 __sys___mac_get_proc;
448 __sys___mac_set_file;
450 __sys___mac_set_link;
452 __sys___mac_set_proc;
481 __sys_aio_waitcomplete;
501 _clock_getcpuclockid2;
502 __sys_clock_getcpuclockid2;
507 __sys_clock_nanosleep;
523 __sys_cpuset_getaffinity;
525 __sys_cpuset_setaffinity;
535 __sys_extattr_delete_fd;
536 _extattr_delete_file;
537 __sys_extattr_delete_file;
538 _extattr_delete_link;
539 __sys_extattr_delete_link;
541 __sys_extattr_get_fd;
543 __sys_extattr_get_file;
545 __sys_extattr_get_link;
547 __sys_extattr_list_fd;
549 __sys_extattr_list_file;
551 __sys_extattr_list_link;
553 __sys_extattr_set_fd;
555 __sys_extattr_set_file;
557 __sys_extattr_set_link;
686 __sys_kmq_timedreceive;
706 __sys_ksem_timedwait;
842 _sched_get_priority_max;
843 __sys_sched_get_priority_max;
844 _sched_get_priority_min;
845 __sys_sched_get_priority_min;
847 __sys_sched_getparam;
849 __sys_sched_getscheduler;
850 _sched_rr_get_interval;
851 __sys_sched_rr_get_interval;
853 __sys_sched_setparam;
855 __sys_sched_setscheduler;
994 __sys_ktimer_getoverrun;
996 __sys_ktimer_gettime;
998 __sys_ktimer_settime;
1023 __set_error_selector;
1026 __libc_interposing_slot;
1029 __sys_cpuset_getdomain;
1031 __sys_cpuset_setdomain;