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. */
388 clock_getcpuclockid2;
398 __sys___acl_aclcheck_fd;
399 ___acl_aclcheck_file;
400 __sys___acl_aclcheck_file;
401 ___acl_aclcheck_link;
402 __sys___acl_aclcheck_link;
404 __sys___acl_delete_fd;
406 __sys___acl_delete_file;
408 __sys___acl_delete_link;
412 __sys___acl_get_file;
414 __sys___acl_get_link;
418 __sys___acl_set_file;
420 __sys___acl_set_link;
428 __sys___mac_get_file;
430 __sys___mac_get_link;
434 __sys___mac_get_proc;
438 __sys___mac_set_file;
440 __sys___mac_set_link;
442 __sys___mac_set_proc;
480 __sys_aio_waitcomplete;
501 _clock_getcpuclockid2;
502 __sys_clock_getcpuclockid2;
522 __sys_cpuset_getaffinity;
524 __sys_cpuset_setaffinity;
534 __sys_extattr_delete_fd;
535 _extattr_delete_file;
536 __sys_extattr_delete_file;
537 _extattr_delete_link;
538 __sys_extattr_delete_link;
540 __sys_extattr_get_fd;
542 __sys_extattr_get_file;
544 __sys_extattr_get_link;
546 __sys_extattr_list_fd;
548 __sys_extattr_list_file;
550 __sys_extattr_list_link;
552 __sys_extattr_set_fd;
554 __sys_extattr_set_file;
556 __sys_extattr_set_link;
685 __sys_kmq_timedreceive;
705 __sys_ksem_timedwait;
852 _sched_get_priority_max;
853 __sys_sched_get_priority_max;
854 _sched_get_priority_min;
855 __sys_sched_get_priority_min;
857 __sys_sched_getparam;
859 __sys_sched_getscheduler;
860 _sched_rr_get_interval;
861 __sys_sched_rr_get_interval;
863 __sys_sched_setparam;
865 __sys_sched_setscheduler;
1002 __sys_ktimer_create;
1004 __sys_ktimer_delete;
1006 __sys_ktimer_getoverrun;
1008 __sys_ktimer_gettime;
1010 __sys_ktimer_settime;