diff --git a/hw/xfree86/common/xf86MatchDrivers.h b/hw/xfree86/common/xf86MatchDrivers.h
index 4663af478..484863814 100644
--- a/hw/xfree86/common/xf86MatchDrivers.h
+++ b/hw/xfree86/common/xf86MatchDrivers.h
@@ -36,5 +36,7 @@ typedef struct _XF86MatchedDrivers {
  */
 void xf86AddMatchedDriver(XF86MatchedDrivers *, const char *);
 
+void xf86PlatformMatchDriver(XF86MatchedDrivers *);
+
 #endif                          /* _xf86_match_drivers_h */
 
diff --git a/hw/xfree86/common/xf86platformBus.h b/hw/xfree86/common/xf86platformBus.h
index b9933f405..7d4852ee8 100644
--- a/hw/xfree86/common/xf86platformBus.h
+++ b/hw/xfree86/common/xf86platformBus.h
@@ -24,8 +24,6 @@
 #ifndef XF86_PLATFORM_BUS_H
 #define XF86_PLATFORM_BUS_H
 
-#include "xf86MatchDrivers.h"
-
 struct xf86_platform_device {
     struct OdevAttributes *attribs;
     /* for PCI devices */
@@ -128,9 +126,6 @@ _xf86_get_platform_device_int_attrib(struct xf86_platform_device *device, int at
 extern _X_EXPORT Bool
 xf86PlatformDeviceCheckBusID(struct xf86_platform_device *device, const char *busid);
 
-extern _X_EXPORT void
-xf86PlatformMatchDriver(XF86MatchedDrivers *);
-
 extern void xf86platformVTProbe(void);
 extern void xf86platformPrimary(void);