216 sched_get_priority_max;
217 sched_get_priority_min;
220 sched_rr_get_interval;
315 __sys___acl_aclcheck_fd;
316 __sys___acl_aclcheck_file;
317 __sys___acl_delete_fd;
318 __sys___acl_delete_file;
320 __sys___acl_get_file;
322 __sys___acl_set_file;
337 __sys_aio_waitcomplete;
356 __sys_exec_sys_register;
357 __sys_exec_sys_unregister;
361 __sys_extattr_delete_file;
362 __sys_extattr_get_file;
363 __sys_extattr_set_file;
479 __sys_mq_timedreceive;
520 __sys_sched_get_priority_max;
521 __sys_sched_get_priority_min;
522 __sys_sched_getparam;
523 __sys_sched_getscheduler;
524 __sys_sched_rr_get_interval;
525 __sys_sched_setparam;
526 __sys_sched_setscheduler;
575 __sys_sys_checkpoint;
595 __sys_vmm_guest_sync_addr;
596 __sys_vmspace_create;
598 __sys_vmspace_destroy;
599 __sys_vmspace_mcontrol;
601 __sys_vmspace_munmap;
603 __sys_vmspace_pwrite;
611 ___acl_aclcheck_file;
652 _exec_sys_unregister;
656 _extattr_delete_file;
815 _sched_get_priority_max;
816 _sched_get_priority_min;
819 _sched_rr_get_interval;
890 _vmm_guest_sync_addr;