Cleaned up argument passing in system call handlers