make Attached_ram_dataspace::local_addr const

2013-09-09 22:21:03 +02:00
parent 4b4ba30498
commit a1effc5ad8
1 changed files with 1 additions and 1 deletions
--- a/os/include/os/attached_ram_dataspace.h
+++ b/os/include/os/attached_ram_dataspace.h
@@ -116,7 +116,7 @@ namespace Genode {
 			 * untyped memory anyway.
 			 */
 			template <typename T>
-			T *local_addr() { return static_cast<T *>(_local_addr); }
+			T *local_addr() const { return static_cast<T *>(_local_addr); }

 			/**
 			 * Return size