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;
407 __sys___acl_aclcheck_fd;
408 ___acl_aclcheck_file;
409 __sys___acl_aclcheck_file;
410 ___acl_aclcheck_link;
411 __sys___acl_aclcheck_link;
413 __sys___acl_delete_fd;
415 __sys___acl_delete_file;
417 __sys___acl_delete_link;
421 __sys___acl_get_file;
423 __sys___acl_get_link;
427 __sys___acl_set_file;
429 __sys___acl_set_link;
437 __sys___mac_get_file;
439 __sys___mac_get_link;
443 __sys___mac_get_proc;
447 __sys___mac_set_file;
449 __sys___mac_set_link;
451 __sys___mac_set_proc;
480 __sys_aio_waitcomplete;
500 _clock_getcpuclockid2;
501 __sys_clock_getcpuclockid2;
506 __sys_clock_nanosleep;
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;
841 _sched_get_priority_max;
842 __sys_sched_get_priority_max;
843 _sched_get_priority_min;
844 __sys_sched_get_priority_min;
846 __sys_sched_getparam;
848 __sys_sched_getscheduler;
849 _sched_rr_get_interval;
850 __sys_sched_rr_get_interval;
852 __sys_sched_setparam;
854 __sys_sched_setscheduler;
993 __sys_ktimer_getoverrun;
995 __sys_ktimer_gettime;
997 __sys_ktimer_settime;
1022 __set_error_selector;
1025 __libc_interposing_slot;
1028 __sys_cpuset_getdomain;
1030 __sys_cpuset_setdomain;