core: device_manager: Add a simple class to manage device RAM.

1 files changed, 7 insertions, 0 deletions

diff --git a/src/core/core.h b/src/core/core.h
index c2bdef07e..6cd93000a 100644
--- a/src/core/core.h
+++ b/src/core/core.h
@@ -91,6 +91,7 @@ namespace Core {
 
 class ARM_Interface;
 class CoreManager;
+class DeviceMemory;
 class ExclusiveMonitor;
 class FrameLimiter;
 class PerfStats;
@@ -256,6 +257,12 @@ public:
     /// Gets the global scheduler
     const Kernel::GlobalScheduler& GlobalScheduler() const;
 
+    /// Gets the manager for the guest device memory
+    DeviceMemory& GetDeviceMemory();
+
+    /// Gets the manager for the guest device memory
+    const DeviceMemory& GetDeviceMemory() const;
+
     /// Provides a pointer to the current process
     Kernel::Process* CurrentProcess();