From e7cc98a20c382125d76a60a1931cf0613c78ba78 Mon Sep 17 00:00:00 2001
From: Drew Galbraith <dgalbraith33@gmail.com>
Date: Thu, 11 Jan 2024 18:29:45 -0800
Subject: [PATCH] [Mammoth] Add the ability to duplicate an owned memory
 region.

---
 lib/mammoth/util/memory_region.cpp | 4 ++++
 lib/mammoth/util/memory_region.h   | 1 +
 2 files changed, 5 insertions(+)

diff --git a/lib/mammoth/util/memory_region.cpp b/lib/mammoth/util/memory_region.cpp
index a4989f2..caa9eb9 100644
--- a/lib/mammoth/util/memory_region.cpp
+++ b/lib/mammoth/util/memory_region.cpp
@@ -71,4 +71,8 @@ z_cap_t OwnedMemoryRegion::DuplicateCap() {
   return cap;
 }
 
+OwnedMemoryRegion OwnedMemoryRegion::Duplicate() {
+  return OwnedMemoryRegion::FromCapability(DuplicateCap());
+}
+
 }  // namespace mmth
diff --git a/lib/mammoth/util/memory_region.h b/lib/mammoth/util/memory_region.h
index 7af7d6c..37c34b5 100644
--- a/lib/mammoth/util/memory_region.h
+++ b/lib/mammoth/util/memory_region.h
@@ -30,6 +30,7 @@ class OwnedMemoryRegion {
 
   z_cap_t cap() const { return vmmo_cap_; }
   z_cap_t DuplicateCap();
+  OwnedMemoryRegion Duplicate();
 
   bool empty() const { return vmmo_cap_ == 0; }
   explicit operator bool() const { return vmmo_cap_ != 0; }