6 * It'd be nice to have this automatically generated, but we don't
7 * know to what version they will eventually belong, so for now
145 kmq_notify; /* Do we want these to be public interfaces? */
146 kmq_open; /* librt uses them to provide mq_xxx. */
230 sched_get_priority_max;
231 sched_get_priority_min;
234 sched_rr_get_interval;
305 ktimer_create; /* Do we want these to be public interfaces? */
306 ktimer_delete; /* librt uses them to provide timer_xxx. */
391 clock_getcpuclockid2;
404 __sys___acl_aclcheck_fd;
405 ___acl_aclcheck_file;
406 __sys___acl_aclcheck_file;
407 ___acl_aclcheck_link;
408 __sys___acl_aclcheck_link;
410 __sys___acl_delete_fd;
412 __sys___acl_delete_file;
414 __sys___acl_delete_link;
418 __sys___acl_get_file;
420 __sys___acl_get_link;
424 __sys___acl_set_file;
426 __sys___acl_set_link;
434 __sys___mac_get_file;
436 __sys___mac_get_link;
440 __sys___mac_get_proc;
444 __sys___mac_set_file;
446 __sys___mac_set_link;
448 __sys___mac_set_proc;
488 __sys_aio_waitcomplete;
509 _clock_getcpuclockid2;
510 __sys_clock_getcpuclockid2;
530 __sys_cpuset_getaffinity;
532 __sys_cpuset_setaffinity;
542 __sys_extattr_delete_fd;
543 _extattr_delete_file;
544 __sys_extattr_delete_file;
545 _extattr_delete_link;
546 __sys_extattr_delete_link;
548 __sys_extattr_get_fd;
550 __sys_extattr_get_file;
552 __sys_extattr_get_link;
554 __sys_extattr_list_fd;
556 __sys_extattr_list_file;
558 __sys_extattr_list_link;
560 __sys_extattr_set_fd;
562 __sys_extattr_set_file;
564 __sys_extattr_set_link;
693 __sys_kmq_timedreceive;
713 __sys_ksem_timedwait;
862 _sched_get_priority_max;
863 __sys_sched_get_priority_max;
864 _sched_get_priority_min;
865 __sys_sched_get_priority_min;
867 __sys_sched_getparam;
869 __sys_sched_getscheduler;
870 _sched_rr_get_interval;
871 __sys_sched_rr_get_interval;
873 __sys_sched_setparam;
875 __sys_sched_setscheduler;
1012 __sys_ktimer_create;
1014 __sys_ktimer_delete;
1016 __sys_ktimer_getoverrun;
1018 __sys_ktimer_gettime;
1020 __sys_ktimer_settime;