From 2e2e1f7cb36aeac0abb730a752fcd78cf91a380f Mon Sep 17 00:00:00 2001
From: Rob Arnold <robarnold@cs.cmu.edu>
Date: Tue, 5 Jul 2011 22:44:22 -0700
Subject: [PATCH] Add realloc method to rust_kernel

---
 src/rt/rust_kernel.cpp | 5 +++++
 src/rt/rust_kernel.h   | 1 +
 2 files changed, 6 insertions(+)

diff --git a/src/rt/rust_kernel.cpp b/src/rt/rust_kernel.cpp
index 85a6178ded757..b58a6a54cb168 100644
--- a/src/rt/rust_kernel.cpp
+++ b/src/rt/rust_kernel.cpp
@@ -206,6 +206,11 @@ rust_kernel::malloc(size_t size) {
     return _region->malloc(size);
 }
 
+void *
+rust_kernel::realloc(void *mem, size_t size) {
+    return _region->realloc(mem, size);
+}
+
 void rust_kernel::free(void *mem) {
     _region->free(mem);
 }
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h
index f61935c8c48cc..3ed82b221121f 100644
--- a/src/rt/rust_kernel.h
+++ b/src/rt/rust_kernel.h
@@ -110,6 +110,7 @@ class rust_kernel : public rust_thread {
     virtual ~rust_kernel();
 
     void *malloc(size_t size);
+    void *realloc(void *mem, size_t size);
     void free(void *mem);
 
     // FIXME: this should go away