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;
419 __sys___acl_aclcheck_fd;
420 ___acl_aclcheck_file;
421 __sys___acl_aclcheck_file;
422 ___acl_aclcheck_link;
423 __sys___acl_aclcheck_link;
425 __sys___acl_delete_fd;
427 __sys___acl_delete_file;
429 __sys___acl_delete_link;
433 __sys___acl_get_file;
435 __sys___acl_get_link;
439 __sys___acl_set_file;
441 __sys___acl_set_link;
449 __sys___mac_get_file;
451 __sys___mac_get_link;
455 __sys___mac_get_proc;
459 __sys___mac_set_file;
461 __sys___mac_set_link;
463 __sys___mac_set_proc;
492 __sys_aio_waitcomplete;
512 _clock_getcpuclockid2;
513 __sys_clock_getcpuclockid2;
518 __sys_clock_nanosleep;
532 __sys_cpuset_getaffinity;
534 __sys_cpuset_setaffinity;
544 __sys_extattr_delete_fd;
545 _extattr_delete_file;
546 __sys_extattr_delete_file;
547 _extattr_delete_link;
548 __sys_extattr_delete_link;
550 __sys_extattr_get_fd;
552 __sys_extattr_get_file;
554 __sys_extattr_get_link;
556 __sys_extattr_list_fd;
558 __sys_extattr_list_file;
560 __sys_extattr_list_link;
562 __sys_extattr_set_fd;
564 __sys_extattr_set_file;
566 __sys_extattr_set_link;
696 __sys_kmq_timedreceive;
716 __sys_ksem_timedwait;
848 _sched_get_priority_max;
849 __sys_sched_get_priority_max;
850 _sched_get_priority_min;
851 __sys_sched_get_priority_min;
853 __sys_sched_getparam;
855 __sys_sched_getscheduler;
856 _sched_rr_get_interval;
857 __sys_sched_rr_get_interval;
859 __sys_sched_setparam;
861 __sys_sched_setscheduler;
1000 __sys_ktimer_getoverrun;
1002 __sys_ktimer_gettime;
1004 __sys_ktimer_settime;
1027 __set_error_selector;
1030 __libc_interposing_slot;
1033 __sys_cpuset_getdomain;
1035 __sys_cpuset_setdomain;