Merge branch 'arrakis'
[barrelfish] / include / barrelfish / ump_impl.h
index 4dcb8af..627d4fe 100644 (file)
@@ -200,6 +200,17 @@ static inline volatile struct ump_message *ump_impl_get_next(
     // construct header
     ctrl->epoch = c->epoch;
 
+    if(debug_notify_syscall) {
+        printf("ump_impl_get_next while forbidden from %p, %p, %p, %p, %p, %p, %p\n",
+               __builtin_return_address(0),
+               __builtin_return_address(1),
+               __builtin_return_address(2),
+               __builtin_return_address(3),
+               __builtin_return_address(4),
+               __builtin_return_address(5),
+               __builtin_return_address(6));
+    }
+
     volatile struct ump_message *msg = &c->buf[c->pos];
 
     // update pos