ia32_set_syscall_retval
.sv_set_syscall_retval = ia32_set_syscall_retval,
void ia32_set_syscall_retval(struct thread *, int);