215 sched_get_priority_max;
216 sched_get_priority_min;
219 sched_rr_get_interval;
309 __sys___acl_aclcheck_fd;
310 __sys___acl_aclcheck_file;
311 __sys___acl_delete_fd;
312 __sys___acl_delete_file;
314 __sys___acl_get_file;
316 __sys___acl_set_file;
331 __sys_aio_waitcomplete;
350 __sys_exec_sys_register;
351 __sys_exec_sys_unregister;
355 __sys_extattr_delete_file;
356 __sys_extattr_get_file;
357 __sys_extattr_set_file;
471 __sys_mq_timedreceive;
511 __sys_sched_get_priority_max;
512 __sys_sched_get_priority_min;
513 __sys_sched_getparam;
514 __sys_sched_getscheduler;
515 __sys_sched_rr_get_interval;
516 __sys_sched_setparam;
517 __sys_sched_setscheduler;
566 __sys_sys_checkpoint;
586 __sys_vmm_guest_sync_addr;
587 __sys_vmspace_create;
589 __sys_vmspace_destroy;
590 __sys_vmspace_mcontrol;
592 __sys_vmspace_munmap;
594 __sys_vmspace_pwrite;
602 ___acl_aclcheck_file;
643 _exec_sys_unregister;
647 _extattr_delete_file;
803 _sched_get_priority_max;
804 _sched_get_priority_min;
807 _sched_rr_get_interval;
878 _vmm_guest_sync_addr;