Add a check in verify_one_dev_extent() to ensure that a device extent on a
zoned block device is aligned to the respective zone boundary.

If it isn't mark the filesystem as unclean.

Reviewed-by: Anand Jain <anand.j...@oracle.com>
Reviewed-by: Josef Bacik <jo...@toxicpanda.com>
Signed-off-by: Naohiro Aota <naohiro.a...@wdc.com>
Reviewed-by: David Sterba <dste...@suse.com>
---
 fs/btrfs/volumes.c | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/fs/btrfs/volumes.c b/fs/btrfs/volumes.c
index ae2aeadad5a0..10401def16ef 100644
--- a/fs/btrfs/volumes.c
+++ b/fs/btrfs/volumes.c
@@ -7769,6 +7769,20 @@ static int verify_one_dev_extent(struct btrfs_fs_info 
*fs_info,
                ret = -EUCLEAN;
                goto out;
        }
+
+       if (dev->zone_info) {
+               u64 zone_size = dev->zone_info->zone_size;
+
+               if (!IS_ALIGNED(physical_offset, zone_size) ||
+                   !IS_ALIGNED(physical_len, zone_size)) {
+                       btrfs_err(fs_info,
+"zoned: dev extent devid %llu physical offset %llu len %llu is not aligned to 
device zone",
+                                 devid, physical_offset, physical_len);
+                       ret = -EUCLEAN;
+                       goto out;
+               }
+       }
+
 out:
        free_extent_map(em);
        return ret;
-- 
2.30.0

Reply via email to