diff --git a/include/hotplug.h b/include/hotplug.h
index 0c304b15eb..8831b1eded 100644
--- a/include/hotplug.h
+++ b/include/hotplug.h
@@ -26,6 +26,5 @@
 
 void configInitialise(void);
 void configFini(void);
-void configDispatch(void);
 
 #endif /* CONFIG_H */