diff --git a/src/plugins/rte/register.ml b/src/plugins/rte/register.ml
index 4b7e902243355f0e452b7eff9bde9af57d8bc3aa..523f3a797a92b1f8c1a69565d6b40a2f8a758185 100644
--- a/src/plugins/rte/register.ml
+++ b/src/plugins/rte/register.ml
@@ -147,6 +147,15 @@ let _ignore =
     ~journalize:false
     Visit.get_annotations_exp
 
+let _ignore =
+  let kf = Kernel_function.ty in
+  Dynamic.register
+    ~plugin:"RteGen"
+    "all_statuses"
+    Datatype.(list (triple string (func2 kf bool unit) (func kf bool)))
+    ~journalize:false
+    Generator.all_statuses
+
 let main () =
   (* reset "rte generated" properties for all functions *)
   if Options.Enabled.get () then begin