block: remove CONFIG_LBDAF

[thirdparty/kernel/linux.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / include / linux / types.h

diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h
index d27285f8ee82d476fa5917e429e330718b4bd4fe..8bc960e5e713f8cf925e8bbd7e6dbd1466d644af 100644 (file)
--- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h
+++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h
@@ -59,11 +59,7 @@ typedef              __u32           uint32_t;
  *
  * blkcnt_t is the type of the inode's block count.
  */
-#ifdef CONFIG_LBDAF
 typedef u64 sector_t;
-#else
-typedef unsigned long sector_t;
-#endif
 
 /*
  * The type of an index into the pagecache.