move __syscall_return to syscall.h