update

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

diff --git a/kernel/fiasco/src/jdb/ppc32/jdb-ppc32.cpp b/kernel/fiasco/src/jdb/ppc32/jdb-ppc32.cpp
index a5125a0f06261f07cf19940df60015182823b670..0cedf3e8ec2735de0e80346a6c5e804227cf459a 100644 (file)
--- a/kernel/fiasco/src/jdb/ppc32/jdb-ppc32.cpp
+++ b/kernel/fiasco/src/jdb/ppc32/jdb-ppc32.cpp
@@ -233,3 +233,11 @@ PUBLIC static
 void
 Jdb::write_tsc(Signed64 /*tsc*/, char * /*buf*/, int /*maxlen*/, bool /*sign*/)
 {}
+
+PROTECTED static inline
+template< typename T >
+void
+Jdb::set_monitored_address(T *dest, T val)
+{
+  *dest = val;
+}