214 sched_get_priority_max;
215 sched_get_priority_min;
218 sched_rr_get_interval;
308 __sys___acl_aclcheck_fd;
309 __sys___acl_aclcheck_file;
310 __sys___acl_delete_fd;
311 __sys___acl_delete_file;
313 __sys___acl_get_file;
315 __sys___acl_set_file;
329 __sys_aio_waitcomplete;
348 __sys_exec_sys_register;
349 __sys_exec_sys_unregister;
353 __sys_extattr_delete_file;
354 __sys_extattr_get_file;
355 __sys_extattr_set_file;
469 __sys_mq_timedreceive;
509 __sys_sched_get_priority_max;
510 __sys_sched_get_priority_min;
511 __sys_sched_getparam;
512 __sys_sched_getscheduler;
513 __sys_sched_rr_get_interval;
514 __sys_sched_setparam;
515 __sys_sched_setscheduler;
564 __sys_sys_checkpoint;
584 __sys_vmm_guest_sync_addr;
585 __sys_vmspace_create;
587 __sys_vmspace_destroy;
588 __sys_vmspace_mcontrol;
590 __sys_vmspace_munmap;
592 __sys_vmspace_pwrite;
600 ___acl_aclcheck_file;
640 _exec_sys_unregister;
644 _extattr_delete_file;
800 _sched_get_priority_max;
801 _sched_get_priority_min;
804 _sched_rr_get_interval;
875 _vmm_guest_sync_addr;