diff --git a/freebsd/sys/sys/kernel.h b/freebsd/sys/sys/kernel.h
index e2cc2678..9b5aa856 100644
--- a/freebsd/sys/sys/kernel.h
+++ b/freebsd/sys/sys/kernel.h
@@ -67,6 +67,9 @@ extern int profhz;			/* profiling clock's frequency */
 extern int profprocs;			/* number of process's profiling */
 #ifndef __rtems__
 extern int ticks;
+#else /* __rtems__ */
+#include <rtems/score/watchdogimpl.h>
+#define ticks _Watchdog_Ticks_since_boot
 #endif /* __rtems__ */
 
 #endif /* _KERNEL */
diff --git a/rtemsbsd/include/machine/rtems-bsd-config.h.in b/rtemsbsd/include/machine/rtems-bsd-config.h.in
index ea14b835..306e8585 100644
--- a/rtemsbsd/include/machine/rtems-bsd-config.h.in
+++ b/rtemsbsd/include/machine/rtems-bsd-config.h.in
@@ -109,9 +109,6 @@
 #define abs _bsd_abs
 #define labs _bsd_labs
 
-#include <rtems/score/watchdogimpl.h>
-#define ticks _Watchdog_Ticks_since_boot
-
 /* Debug */
 
 void rtems_bsd_assert_func(const char *file, int line, const char *func, const char *expr);