Perhaps this file should be changed to use trace_enter() so that systrace works for aliased syscalls? Leave that for someone familiar with the systrace system.