Change sbrk() to take an int rather than an intptr_t (following the OpenBSD way
authorDavid Given <dg@cowlark.com>
Wed, 23 Nov 2016 21:06:24 +0000 (22:06 +0100)
committerDavid Given <dg@cowlark.com>
Wed, 23 Nov 2016 21:06:24 +0000 (22:06 +0100)
rather than the Linux way; various non-C bits of the ACK assume it takes an
int, so it's cleaner).

12 files changed:
plat/cpm/include/unistd.h
plat/cpm/libsys/brk.c
plat/linux/libsys/sbrk.c
plat/linux386/include/unistd.h
plat/linux68k/include/unistd.h
plat/linuxppc/include/unistd.h
plat/pc86/include/unistd.h
plat/pc86/libsys/brk.c
plat/qemuppc/include/unistd.h
plat/qemuppc/libsys/brk.c
plat/rpi/include/unistd.h
plat/rpi/libsys/brk.c

index 2af9db9..ea4f51c 100644 (file)
@@ -37,7 +37,7 @@ extern char** environ;
 
 extern void _exit(int);
 extern pid_t getpid(void);
-extern void* sbrk(intptr_t increment);
+extern void* sbrk(int increment);
 extern int isatty(int d);
 extern off_t lseek(int fildes, off_t offset, int whence);
 extern int close(int d);
index e29dc56..0b83b25 100644 (file)
@@ -28,7 +28,7 @@ int brk(void* newend)
        return 0;
 }
 
-void* sbrk(intptr_t increment)
+void* sbrk(int increment)
 {
        char* old;
        
index 0948a41..7aeeecb 100644 (file)
@@ -22,7 +22,7 @@ int brk(void* end)
        return e;
 }
 
-void* sbrk(intptr_t increment)
+void* sbrk(int increment)
 {
        char* old;
        char* new;
index 715e321..35dc8dd 100644 (file)
@@ -67,7 +67,7 @@ extern char** environ;
 extern void _exit(int);
 extern pid_t getpid(void);
 extern int brk(void* ptr);
-extern void* sbrk(intptr_t increment);
+extern void* sbrk(int increment);
 extern int isatty(int d);
 
 /* Signal handling */
index 5cbdc1b..307192f 100644 (file)
@@ -65,7 +65,7 @@ extern char** environ;
 extern void _exit(int);
 extern pid_t getpid(void);
 extern int brk(void* ptr);
-extern void* sbrk(intptr_t increment);
+extern void* sbrk(int increment);
 extern int isatty(int d);
 
 /* Signal handling */
index 5cbdc1b..307192f 100644 (file)
@@ -65,7 +65,7 @@ extern char** environ;
 extern void _exit(int);
 extern pid_t getpid(void);
 extern int brk(void* ptr);
-extern void* sbrk(intptr_t increment);
+extern void* sbrk(int increment);
 extern int isatty(int d);
 
 /* Signal handling */
index 2af9db9..ea4f51c 100644 (file)
@@ -37,7 +37,7 @@ extern char** environ;
 
 extern void _exit(int);
 extern pid_t getpid(void);
-extern void* sbrk(intptr_t increment);
+extern void* sbrk(int increment);
 extern int isatty(int d);
 extern off_t lseek(int fildes, off_t offset, int whence);
 extern int close(int d);
index 02e2133..952a9c7 100644 (file)
@@ -28,7 +28,7 @@ int brk(void* newend)
        return 0;
 }
 
-void* sbrk(intptr_t increment)
+void* sbrk(int increment)
 {
        char* old;
        
index 5cbdc1b..307192f 100644 (file)
@@ -65,7 +65,7 @@ extern char** environ;
 extern void _exit(int);
 extern pid_t getpid(void);
 extern int brk(void* ptr);
-extern void* sbrk(intptr_t increment);
+extern void* sbrk(int increment);
 extern int isatty(int d);
 
 /* Signal handling */
index 02e2133..952a9c7 100644 (file)
@@ -28,7 +28,7 @@ int brk(void* newend)
        return 0;
 }
 
-void* sbrk(intptr_t increment)
+void* sbrk(int increment)
 {
        char* old;
        
index a4d0c45..196b823 100644 (file)
@@ -59,7 +59,7 @@ extern char** environ;
 
 extern void _exit(int);
 extern pid_t getpid(void);
-extern void* sbrk(intptr_t increment);
+extern void* sbrk(int increment);
 extern int isatty(int d);
 extern off_t lseek(int fildes, off_t offset, int whence);
 extern int close(int d);
index 36c7d4a..171b8e5 100644 (file)
@@ -30,7 +30,7 @@ int brk(void* newend)
        return 0;
 }
 
-void* sbrk(intptr_t increment)
+void* sbrk(int increment)
 {
        char* old;