X-Git-Url: https://review.openocd.org/gitweb?a=blobdiff_plain;ds=sidebyside;f=src%2Fhelper%2Freplacements.h;h=f2c6e9443559c85cc8d55d5cd383d1827eed3c47;hb=8b994145b849c40b0a195c3fb332b9770b2f9097;hp=27a7f6d50d871600d38255f7e209af2ea81c81ba;hpb=6d1d58a1fc3dfd60e9cac89460b5a6e438d11efa;p=openocd.git

diff --git a/src/helper/replacements.h b/src/helper/replacements.h
index 27a7f6d50d..f2c6e94435 100644
--- a/src/helper/replacements.h
+++ b/src/helper/replacements.h
@@ -2,7 +2,7 @@
  *   Copyright (C) 2006 by Dominic Rath                                    *
  *   Dominic.Rath@gmx.de                                                   *
  *                                                                         *
- *   Copyright (C) 2007,2008 Øyvind Harboe                                 *
+ *   Copyright (C) 2007,2008 Øyvind Harboe                                 *
  *   oyvind.harboe@zylin.com                                               *
  *                                                                         *
  *   Copyright (C) 2008 by Spencer Oliver                                  *
@@ -161,7 +161,7 @@ int win_select(int max_fd, fd_set *rfds, fd_set *wfds, fd_set *efds, struct time
 #endif  /* _WIN32 */
 
 /* generic socket functions for Windows and Posix */
-static __inline int write_socket( int handle, const void *buffer, unsigned int count )
+static __inline int write_socket(int handle, const void *buffer, unsigned int count)
 {
 #ifdef _WIN32
 	return send(handle, buffer, count, 0);
@@ -170,7 +170,7 @@ static __inline int write_socket( int handle, const void *buffer, unsigned int c
 #endif
 }
 
-static __inline int read_socket( int handle, void *buffer, unsigned int count )
+static __inline int read_socket(int handle, void *buffer, unsigned int count)
 {
 #ifdef _WIN32
 	return recv(handle, buffer, count, 0);
@@ -192,7 +192,7 @@ static __inline void socket_nonblock(int fd)
 {
 #ifdef _WIN32
 	unsigned long nonblock = 1;
-	ioctlsocket(fd, FIONBIO, &nonblock );
+	ioctlsocket(fd, FIONBIO, &nonblock);
 #else
 	int oldopts = fcntl(fd, F_GETFL, 0);
 	fcntl(fd, F_SETFL, oldopts | O_NONBLOCK);
@@ -210,6 +210,8 @@ static __inline int socket_select(int max_fd, fd_set *rfds, fd_set *wfds, fd_set
 
 #ifndef HAVE_ELF_H
 
+#include "types.h"
+
 typedef uint32_t	Elf32_Addr;
 typedef uint16_t	Elf32_Half;
 typedef uint32_t	Elf32_Off;