diff --git a/hw/xfree86/os-support/shared/platform_noop.c b/hw/xfree86/os-support/shared/platform_noop.c
index 2ff1deafa..ed0ff93ed 100644
--- a/hw/xfree86/os-support/shared/platform_noop.c
+++ b/hw/xfree86/os-support/shared/platform_noop.c
@@ -3,6 +3,8 @@
 #include <xorg-config.h>
 #endif
 
+#include "config/hotplug_priv.h"
+
 #ifdef XSERVER_PLATFORM_BUS
 /* noop platform device support */
 #include "xf86_OSproc.h"
@@ -19,6 +21,18 @@ xf86PlatformDeviceCheckBusID(struct xf86_platform_device *device, const char *bu
 
 void xf86PlatformDeviceProbe(struct OdevAttributes *attribs)
 {
-
 }
+
+void xf86PlatformReprobeDevice(int index, struct OdevAttributes *attribs)
+{
+}
+
+void DeleteGPUDeviceRequest(struct OdevAttributes *attribs)
+{
+}
+
+void NewGPUDeviceRequest(struct OdevAttributes *attribs)
+{
+}
+
 #endif