diff --git a/src/rt/memory_region.h b/src/rt/memory_region.h index 3411d867ebf..affdd8f9974 100644 --- a/src/rt/memory_region.h +++ b/src/rt/memory_region.h @@ -34,4 +34,12 @@ public: virtual ~memory_region(); }; +inline void *operator new(size_t size, memory_region ®ion) { + return region.malloc(size); +} + +inline void *operator new(size_t size, memory_region *region) { + return region->malloc(size); +} + #endif /* MEMORY_REGION_H */