#define PRINT_CMD CDEBUG
#define PRINT_MASK (D_SUPER | D_CONFIG)
+#include <linux/types.h>
+#include <linux/selinux.h>
#include <linux/statfs.h>
#include <obd.h>
#include <obd_class.h>
#ifdef HAVE_KERNEL_LOCKED
#include <linux/smp_lock.h>
#endif
-#ifdef HAVE_SELINUX_IS_ENABLED
-#include <linux/selinux.h>
-#endif
/*********** mount lookup *********/