216 sched_get_priority_max;
217 sched_get_priority_min;
220 sched_rr_get_interval;
314 __sys___acl_aclcheck_fd;
315 __sys___acl_aclcheck_file;
316 __sys___acl_delete_fd;
317 __sys___acl_delete_file;
319 __sys___acl_get_file;
321 __sys___acl_set_file;
336 __sys_aio_waitcomplete;
355 __sys_exec_sys_register;
356 __sys_exec_sys_unregister;
360 __sys_extattr_delete_file;
361 __sys_extattr_get_file;
362 __sys_extattr_set_file;
478 __sys_mq_timedreceive;
518 __sys_sched_get_priority_max;
519 __sys_sched_get_priority_min;
520 __sys_sched_getparam;
521 __sys_sched_getscheduler;
522 __sys_sched_rr_get_interval;
523 __sys_sched_setparam;
524 __sys_sched_setscheduler;
573 __sys_sys_checkpoint;
593 __sys_vmm_guest_sync_addr;
594 __sys_vmspace_create;
596 __sys_vmspace_destroy;
597 __sys_vmspace_mcontrol;
599 __sys_vmspace_munmap;
601 __sys_vmspace_pwrite;
609 ___acl_aclcheck_file;
650 _exec_sys_unregister;
654 _extattr_delete_file;
812 _sched_get_priority_max;
813 _sched_get_priority_min;
816 _sched_rr_get_interval;
887 _vmm_guest_sync_addr;