diff --git a/config/config-backends.h b/config/config-backends.h
index 56ab0e32c..e10889cdd 100644
--- a/config/config-backends.h
+++ b/config/config-backends.h
@@ -38,7 +38,6 @@ BOOL device_is_duplicate(const char *config_info);
 int config_udev_pre_init(void);
 int config_udev_init(void);
 void config_udev_fini(void);
-void config_udev_odev_probe(config_odev_probe_proc_ptr probe_callback);
 #elif defined(CONFIG_HAL)
 int config_hal_init(void);
 void config_hal_fini(void);
@@ -47,4 +46,8 @@ int config_wscons_init(void);
 void config_wscons_fini(void);
 #endif
 
+#ifdef CONFIG_UDEV_KMS
+void config_udev_odev_probe(config_odev_probe_proc_ptr probe_callback);
+#endif
+
 #endif /* XSERVER_CONFIG_BACKENDS_H */