ia32_fetch_syscall_args
.sv_fetch_syscall_args = ia32_fetch_syscall_args,
int ia32_fetch_syscall_args(struct thread *td);