Update

[l4.git] / l4 / pkg / mag / server / src / object_gc.h

diff --git a/l4/pkg/mag/server/src/object_gc.h b/l4/pkg/mag/server/src/object_gc.h
index 5754063ed5804f483cfcec2d44f04afec83a46e9..2dbc0c6a3d01fe118034e756f53cc19bf0b638a0 100644 (file)
--- a/l4/pkg/mag/server/src/object_gc.h
+++ b/l4/pkg/mag/server/src/object_gc.h
@@ -33,6 +33,8 @@ public:
   void gc_sweep();
   void gc_step();
   void add_obj(Object *o) { o->enqueue(&_life); }
+
+  virtual void gc_obj(Object *o) = 0;
 };
 
 }