diff
5     uint64_t start, len;
+    uint64_t end;
+
+    if (check_add_overflow(start, len, &end) || end > get_device_size(bdev)) {
+        return -EINVAL; // Or appropriate error code
+    }
