diff --git a/src/util/libdrm.h b/src/util/libdrm.h
index 3ba9c396300..4bfe1d20166 100644
--- a/src/util/libdrm.h
+++ b/src/util/libdrm.h
@@ -32,6 +32,7 @@
 #else
 
 #include <errno.h>
+#include <stddef.h>
 #include <stdint.h>
 #include <sys/types.h>
 
@@ -45,6 +46,14 @@
 #define DRM_BUS_PLATFORM  2
 #define DRM_BUS_HOST1X    3
 
+typedef unsigned int drm_magic_t;
+
+static int
+drmGetMagic(int fd, drm_magic_t * magic)
+{
+  return -EINVAL;
+}
+
 typedef struct _drmPciDeviceInfo {
     uint16_t vendor_id;
     uint16_t device_id;