linux tapset: adapt to 3.9 movement of MAX_RT_PRIO to new linux/sched/rt.h

diff --git a/tapset/linux/task.stp b/tapset/linux/task.stp
index df4a44a7358643e804b74df96ed0633cd1faf479..e43e77f6b9632b35bbfd663ba2072956b9d9173c 100644 (file)
--- a/tapset/linux/task.stp
+++ b/tapset/linux/task.stp
@@ -13,6 +13,9 @@
 #if LINUX_VERSION_CODE > KERNEL_VERSION(2,6,25)
 #include <linux/fdtable.h>
 #endif
+#if LINUX_VERSION_CODE >= KERNEL_VERSION(3,9,0)
+#include <linux/sched/rt.h>
+#endif
 #ifndef STAPCONF_TASK_UID
 #include <linux/cred.h>
 #endif