Combine brk() with sbrk(); modify brk() to update the sbrk(0) value.

diff --git a/plat/linux/libsys/brk.c b/plat/linux/libsys/brk.c
deleted file mode 100644 (file)
index 7ce5c5f..0000000
--- a/plat/linux/libsys/brk.c
+++ /dev/null
@@ -1,17 +0,0 @@
-/* $Source: /cvsroot/tack/Ack/plat/linux386/libsys/brk.c,v $
- * $State: Exp $
- * $Revision: 1.1 $
- */
-
-#include <stdlib.h>
-#include <unistd.h>
-#include <errno.h>
-#include "libsys.h"
-
-int brk(void* end)
-{
-       int e = _syscall(__NR_brk, (quad) end, 0, 0);
-       if (e == -1)
-               errno = ENOMEM;
-       return e;
-}

diff --git a/plat/linux/libsys/sbrk.c b/plat/linux/libsys/sbrk.c
index 35810ef..0948a41 100644 (file)
--- a/plat/linux/libsys/sbrk.c
+++ b/plat/linux/libsys/sbrk.c
@@ -12,6 +12,16 @@
 
 static char* current = NULL;
  
+int brk(void* end)
+{
+       int e = _syscall(__NR_brk, (quad) end, 0, 0);
+       if (e == -1)
+               errno = ENOMEM;
+       else
+               current = end;
+       return e;
+}
+
 void* sbrk(intptr_t increment)
 {
        char* old;