Add support for a bunch of DRM Ioctls.  Fixes #207815.
(Robert Bragg, bob@o-hand.com)


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13486 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/pub_tool_vki.h b/include/pub_tool_vki.h
index 3610b1c..53a9ee5 100644
--- a/include/pub_tool_vki.h
+++ b/include/pub_tool_vki.h
@@ -47,6 +47,7 @@
 
 #if defined(VGO_linux)
 #  include "vki/vki-linux.h"
+#  include "vki/vki-linux-drm.h"
 #elif defined(VGO_darwin)
 #  include "vki/vki-darwin.h"
 #else