1 files changed, 7 insertions, 13 deletions
diff --git a/kern/syscnt.h b/kern/syscnt.h
index 35a291d9..816aa4b9 100644
--- a/kern/syscnt.h
+++ b/kern/syscnt.h
@@ -27,6 +27,7 @@
 #include <stdint.h>
 
 #include <kern/atomic.h>
+#include <kern/init.h>
 #include <kern/macros.h>
 #include <kern/spinlock.h>
 
@@ -43,25 +44,12 @@
 struct syscnt;
 
 /*
- * Initialize the syscnt module.
- *
- * This module is initialized by architecture-specific code. It is normally
- * safe to call this function very early at boot time.
- */
-void syscnt_setup(void);
-
-/*
  * Initialize and register the given counter.
  *
  * The counter is set to 0.
  */
 void syscnt_register(struct syscnt *syscnt, const char *name);
 
-/*
- * Register shell commands.
- */
-void syscnt_register_shell_cmds(void);
-
 #ifdef ATOMIC_HAVE_64B_OPS
 
 static inline void
@@ -123,4 +111,10 @@ syscnt_dec(struct syscnt *syscnt)
  */
 void syscnt_info(const char *prefix);
 
+/*
+ * This init operation provides :
+ *  - registration of system counters
+ */
+INIT_OP_DECLARE(syscnt_setup);
+
 #endif /* _KERN_SYSCNT_H */