core: system: Rename GetDeviceManager -> DeviceManager.

- More consistent with other system components.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/core/core.h b/src/core/core.h
index 6cd93000a..acc53d6a1 100644
--- a/src/core/core.h
+++ b/src/core/core.h
@@ -258,10 +258,10 @@ public:
     const Kernel::GlobalScheduler& GlobalScheduler() const;
 
     /// Gets the manager for the guest device memory
-    DeviceMemory& GetDeviceMemory();
+    Core::DeviceMemory& DeviceMemory();
 
     /// Gets the manager for the guest device memory
-    const DeviceMemory& GetDeviceMemory() const;
+    const Core::DeviceMemory& DeviceMemory() const;
 
     /// Provides a pointer to the current process
     Kernel::Process* CurrentProcess();