diff --git a/hw/kdrive/src/kdrive.c b/hw/kdrive/src/kdrive.c
index 77114dc46..78a8f77d7 100644
--- a/hw/kdrive/src/kdrive.c
+++ b/hw/kdrive/src/kdrive.c
@@ -995,11 +995,13 @@ DeleteGPUDeviceRequest(struct OdevAttributes *attribs)
 }
 #endif
 
+#if defined(CONFIG_UDEV) || defined(CONFIG_HAL)
 struct xf86_platform_device *
 xf86_find_platform_device_by_devnum(int major, int minor)
 {
     return NULL;
 }
+#endif
 
 #ifdef SYSTEMD_LOGIND
 void