update

[l4.git] / kernel / fiasco / src / jdb / ux / jdb-ux.cpp

diff --git a/kernel/fiasco/src/jdb/ux/jdb-ux.cpp b/kernel/fiasco/src/jdb/ux/jdb-ux.cpp
index 8f58568cc01b4fa14c9aee176871db26f9138f45..19de88941c14eb1f0abdf7fd1145dc35fb7a482f 100644 (file)
--- a/kernel/fiasco/src/jdb/ux/jdb-ux.cpp
+++ b/kernel/fiasco/src/jdb/ux/jdb-ux.cpp
@@ -470,6 +470,19 @@ Jdb::leave_getchar()
     tcsetattr (fileno (stdin), TCSAFLUSH, &raw);
 }
 
+PROTECTED static inline
+template< typename T >
+void
+Jdb::set_monitored_address(T *dest, T val)
+{ *dest = val; }
+
+PROTECTED static inline
+template< typename T >
+T Jdb::monitor_address(unsigned, T volatile *addr)
+{
+  return *addr;
+}
+
 //----------------------------------------------------------------------------
 IMPLEMENTATION [ux && mp]: