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;
413 __sys___acl_aclcheck_fd;
414 ___acl_aclcheck_file;
415 __sys___acl_aclcheck_file;
416 ___acl_aclcheck_link;
417 __sys___acl_aclcheck_link;
419 __sys___acl_delete_fd;
421 __sys___acl_delete_file;
423 __sys___acl_delete_link;
427 __sys___acl_get_file;
429 __sys___acl_get_link;
433 __sys___acl_set_file;
435 __sys___acl_set_link;
443 __sys___mac_get_file;
445 __sys___mac_get_link;
449 __sys___mac_get_proc;
453 __sys___mac_set_file;
455 __sys___mac_set_link;
457 __sys___mac_set_proc;
486 __sys_aio_waitcomplete;
506 _clock_getcpuclockid2;
507 __sys_clock_getcpuclockid2;
512 __sys_clock_nanosleep;
528 __sys_cpuset_getaffinity;
530 __sys_cpuset_setaffinity;
540 __sys_extattr_delete_fd;
541 _extattr_delete_file;
542 __sys_extattr_delete_file;
543 _extattr_delete_link;
544 __sys_extattr_delete_link;
546 __sys_extattr_get_fd;
548 __sys_extattr_get_file;
550 __sys_extattr_get_link;
552 __sys_extattr_list_fd;
554 __sys_extattr_list_file;
556 __sys_extattr_list_link;
558 __sys_extattr_set_fd;
560 __sys_extattr_set_file;
562 __sys_extattr_set_link;
691 __sys_kmq_timedreceive;
711 __sys_ksem_timedwait;
843 _sched_get_priority_max;
844 __sys_sched_get_priority_max;
845 _sched_get_priority_min;
846 __sys_sched_get_priority_min;
848 __sys_sched_getparam;
850 __sys_sched_getscheduler;
851 _sched_rr_get_interval;
852 __sys_sched_rr_get_interval;
854 __sys_sched_setparam;
856 __sys_sched_setscheduler;
995 __sys_ktimer_getoverrun;
997 __sys_ktimer_gettime;
999 __sys_ktimer_settime;
1022 __set_error_selector;
1025 __libc_interposing_slot;
1028 __sys_cpuset_getdomain;
1030 __sys_cpuset_setdomain;