fs/xfs/xfs_extfree_item.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 /*
   3  * Copyright (c) 2000-2001,2005 Silicon Graphics, Inc.
   4  * All Rights Reserved.
   5  */
   6 #include "xfs.h"
   7 #include "xfs_fs.h"
   8 #include "xfs_format.h"
   9 #include "xfs_log_format.h"
  10 #include "xfs_trans_resv.h"
  11 #include "xfs_bit.h"
  12 #include "xfs_shared.h"
  13 #include "xfs_mount.h"
  14 #include "xfs_defer.h"
  15 #include "xfs_trans.h"
  16 #include "xfs_trans_priv.h"
  17 #include "xfs_extfree_item.h"
  18 #include "xfs_log.h"
  19 #include "xfs_btree.h"
  20 #include "xfs_rmap.h"
  21 #include "xfs_alloc.h"
  22 #include "xfs_bmap.h"
  23 #include "xfs_trace.h"
  24 #include "xfs_error.h"
  25
  26 kmem_zone_t     *xfs_efi_zone;
  27 kmem_zone_t     *xfs_efd_zone;
  28
  29 static inline struct xfs_efi_log_item *EFI_ITEM(struct xfs_log_item *lip)
  30 {
  31         return container_of(lip, struct xfs_efi_log_item, efi_item);
  32 }
  33
  34 void
  35 xfs_efi_item_free(
  36         struct xfs_efi_log_item *efip)
  37 {
  38         kmem_free(efip->efi_item.li_lv_shadow);
  39         if (efip->efi_format.efi_nextents > XFS_EFI_MAX_FAST_EXTENTS)
  40                 kmem_free(efip);
  41         else
  42                 kmem_cache_free(xfs_efi_zone, efip);
  43 }
  44
  45 /*
  46  * Freeing the efi requires that we remove it from the AIL if it has already
  47  * been placed there. However, the EFI may not yet have been placed in the AIL
  48  * when called by xfs_efi_release() from EFD processing due to the ordering of
  49  * committed vs unpin operations in bulk insert operations. Hence the reference
  50  * count to ensure only the last caller frees the EFI.
  51  */
  52 void
  53 xfs_efi_release(
  54         struct xfs_efi_log_item *efip)
  55 {
  56         ASSERT(atomic_read(&efip->efi_refcount) > 0);
  57         if (atomic_dec_and_test(&efip->efi_refcount)) {
  58                 xfs_trans_ail_remove(&efip->efi_item, SHUTDOWN_LOG_IO_ERROR);
  59                 xfs_efi_item_free(efip);
  60         }
  61 }
  62
  63 /*
  64  * This returns the number of iovecs needed to log the given efi item.
  65  * We only need 1 iovec for an efi item.  It just logs the efi_log_format
  66  * structure.
  67  */
  68 static inline int
  69 xfs_efi_item_sizeof(
  70         struct xfs_efi_log_item *efip)
  71 {
  72         return sizeof(struct xfs_efi_log_format) +
  73                (efip->efi_format.efi_nextents - 1) * sizeof(xfs_extent_t);
  74 }
  75
  76 STATIC void
  77 xfs_efi_item_size(
  78         struct xfs_log_item     *lip,
  79         int                     *nvecs,
  80         int                     *nbytes)
  81 {
  82         *nvecs += 1;
  83         *nbytes += xfs_efi_item_sizeof(EFI_ITEM(lip));
  84 }
  85
  86 /*
  87  * This is called to fill in the vector of log iovecs for the
  88  * given efi log item. We use only 1 iovec, and we point that
  89  * at the efi_log_format structure embedded in the efi item.
  90  * It is at this point that we assert that all of the extent
  91  * slots in the efi item have been filled.
  92  */
  93 STATIC void
  94 xfs_efi_item_format(
  95         struct xfs_log_item     *lip,
  96         struct xfs_log_vec      *lv)
  97 {
  98         struct xfs_efi_log_item *efip = EFI_ITEM(lip);
  99         struct xfs_log_iovec    *vecp = NULL;
 100
 101         ASSERT(atomic_read(&efip->efi_next_extent) ==
 102                                 efip->efi_format.efi_nextents);
 103
 104         efip->efi_format.efi_type = XFS_LI_EFI;
 105         efip->efi_format.efi_size = 1;
 106
 107         xlog_copy_iovec(lv, &vecp, XLOG_REG_TYPE_EFI_FORMAT,
 108                         &efip->efi_format,
 109                         xfs_efi_item_sizeof(efip));
 110 }
 111
 112
 113 /*
 114  * The unpin operation is the last place an EFI is manipulated in the log. It is
 115  * either inserted in the AIL or aborted in the event of a log I/O error. In
 116  * either case, the EFI transaction has been successfully committed to make it
 117  * this far. Therefore, we expect whoever committed the EFI to either construct
 118  * and commit the EFD or drop the EFD's reference in the event of error. Simply
 119  * drop the log's EFI reference now that the log is done with it.
 120  */
 121 STATIC void
 122 xfs_efi_item_unpin(
 123         struct xfs_log_item     *lip,
 124         int                     remove)
 125 {
 126         struct xfs_efi_log_item *efip = EFI_ITEM(lip);
 127         xfs_efi_release(efip);
 128 }
 129
 130 /*
 131  * The EFI has been either committed or aborted if the transaction has been
 132  * cancelled. If the transaction was cancelled, an EFD isn't going to be
 133  * constructed and thus we free the EFI here directly.
 134  */
 135 STATIC void
 136 xfs_efi_item_release(
 137         struct xfs_log_item     *lip)
 138 {
 139         xfs_efi_release(EFI_ITEM(lip));
 140 }
 141
 142 static const struct xfs_item_ops xfs_efi_item_ops = {
 143         .iop_size       = xfs_efi_item_size,
 144         .iop_format     = xfs_efi_item_format,
 145         .iop_unpin      = xfs_efi_item_unpin,
 146         .iop_release    = xfs_efi_item_release,
 147 };
 148
 149
 150 /*
 151  * Allocate and initialize an efi item with the given number of extents.
 152  */
 153 struct xfs_efi_log_item *
 154 xfs_efi_init(
 155         struct xfs_mount        *mp,
 156         uint                    nextents)
 157
 158 {
 159         struct xfs_efi_log_item *efip;
 160         uint                    size;
 161
 162         ASSERT(nextents > 0);
 163         if (nextents > XFS_EFI_MAX_FAST_EXTENTS) {
 164                 size = (uint)(sizeof(xfs_efi_log_item_t) +
 165                         ((nextents - 1) * sizeof(xfs_extent_t)));
 166                 efip = kmem_zalloc(size, 0);
 167         } else {
 168                 efip = kmem_zone_zalloc(xfs_efi_zone, 0);
 169         }
 170
 171         xfs_log_item_init(mp, &efip->efi_item, XFS_LI_EFI, &xfs_efi_item_ops);
 172         efip->efi_format.efi_nextents = nextents;
 173         efip->efi_format.efi_id = (uintptr_t)(void *)efip;
 174         atomic_set(&efip->efi_next_extent, 0);
 175         atomic_set(&efip->efi_refcount, 2);
 176
 177         return efip;
 178 }
 179
 180 /*
 181  * Copy an EFI format buffer from the given buf, and into the destination
 182  * EFI format structure.
 183  * The given buffer can be in 32 bit or 64 bit form (which has different padding),
 184  * one of which will be the native format for this kernel.
 185  * It will handle the conversion of formats if necessary.
 186  */
 187 int
 188 xfs_efi_copy_format(xfs_log_iovec_t *buf, xfs_efi_log_format_t *dst_efi_fmt)
 189 {
 190         xfs_efi_log_format_t *src_efi_fmt = buf->i_addr;
 191         uint i;
 192         uint len = sizeof(xfs_efi_log_format_t) +
 193                 (src_efi_fmt->efi_nextents - 1) * sizeof(xfs_extent_t);
 194         uint len32 = sizeof(xfs_efi_log_format_32_t) +
 195                 (src_efi_fmt->efi_nextents - 1) * sizeof(xfs_extent_32_t);
 196         uint len64 = sizeof(xfs_efi_log_format_64_t) +
 197                 (src_efi_fmt->efi_nextents - 1) * sizeof(xfs_extent_64_t);
 198
 199         if (buf->i_len == len) {
 200                 memcpy((char *)dst_efi_fmt, (char*)src_efi_fmt, len);
 201                 return 0;
 202         } else if (buf->i_len == len32) {
 203                 xfs_efi_log_format_32_t *src_efi_fmt_32 = buf->i_addr;
 204
 205                 dst_efi_fmt->efi_type     = src_efi_fmt_32->efi_type;
 206                 dst_efi_fmt->efi_size     = src_efi_fmt_32->efi_size;
 207                 dst_efi_fmt->efi_nextents = src_efi_fmt_32->efi_nextents;
 208                 dst_efi_fmt->efi_id       = src_efi_fmt_32->efi_id;
 209                 for (i = 0; i < dst_efi_fmt->efi_nextents; i++) {
 210                         dst_efi_fmt->efi_extents[i].ext_start =
 211                                 src_efi_fmt_32->efi_extents[i].ext_start;
 212                         dst_efi_fmt->efi_extents[i].ext_len =
 213                                 src_efi_fmt_32->efi_extents[i].ext_len;
 214                 }
 215                 return 0;
 216         } else if (buf->i_len == len64) {
 217                 xfs_efi_log_format_64_t *src_efi_fmt_64 = buf->i_addr;
 218
 219                 dst_efi_fmt->efi_type     = src_efi_fmt_64->efi_type;
 220                 dst_efi_fmt->efi_size     = src_efi_fmt_64->efi_size;
 221                 dst_efi_fmt->efi_nextents = src_efi_fmt_64->efi_nextents;
 222                 dst_efi_fmt->efi_id       = src_efi_fmt_64->efi_id;
 223                 for (i = 0; i < dst_efi_fmt->efi_nextents; i++) {
 224                         dst_efi_fmt->efi_extents[i].ext_start =
 225                                 src_efi_fmt_64->efi_extents[i].ext_start;
 226                         dst_efi_fmt->efi_extents[i].ext_len =
 227                                 src_efi_fmt_64->efi_extents[i].ext_len;
 228                 }
 229                 return 0;
 230         }
 231         XFS_ERROR_REPORT(__func__, XFS_ERRLEVEL_LOW, NULL);
 232         return -EFSCORRUPTED;
 233 }
 234
 235 static inline struct xfs_efd_log_item *EFD_ITEM(struct xfs_log_item *lip)
 236 {
 237         return container_of(lip, struct xfs_efd_log_item, efd_item);
 238 }
 239
 240 STATIC void
 241 xfs_efd_item_free(struct xfs_efd_log_item *efdp)
 242 {
 243         kmem_free(efdp->efd_item.li_lv_shadow);
 244         if (efdp->efd_format.efd_nextents > XFS_EFD_MAX_FAST_EXTENTS)
 245                 kmem_free(efdp);
 246         else
 247                 kmem_cache_free(xfs_efd_zone, efdp);
 248 }
 249
 250 /*
 251  * This returns the number of iovecs needed to log the given efd item.
 252  * We only need 1 iovec for an efd item.  It just logs the efd_log_format
 253  * structure.
 254  */
 255 static inline int
 256 xfs_efd_item_sizeof(
 257         struct xfs_efd_log_item *efdp)
 258 {
 259         return sizeof(xfs_efd_log_format_t) +
 260                (efdp->efd_format.efd_nextents - 1) * sizeof(xfs_extent_t);
 261 }
 262
 263 STATIC void
 264 xfs_efd_item_size(
 265         struct xfs_log_item     *lip,
 266         int                     *nvecs,
 267         int                     *nbytes)
 268 {
 269         *nvecs += 1;
 270         *nbytes += xfs_efd_item_sizeof(EFD_ITEM(lip));
 271 }
 272
 273 /*
 274  * This is called to fill in the vector of log iovecs for the
 275  * given efd log item. We use only 1 iovec, and we point that
 276  * at the efd_log_format structure embedded in the efd item.
 277  * It is at this point that we assert that all of the extent
 278  * slots in the efd item have been filled.
 279  */
 280 STATIC void
 281 xfs_efd_item_format(
 282         struct xfs_log_item     *lip,
 283         struct xfs_log_vec      *lv)
 284 {
 285         struct xfs_efd_log_item *efdp = EFD_ITEM(lip);
 286         struct xfs_log_iovec    *vecp = NULL;
 287
 288         ASSERT(efdp->efd_next_extent == efdp->efd_format.efd_nextents);
 289
 290         efdp->efd_format.efd_type = XFS_LI_EFD;
 291         efdp->efd_format.efd_size = 1;
 292
 293         xlog_copy_iovec(lv, &vecp, XLOG_REG_TYPE_EFD_FORMAT,
 294                         &efdp->efd_format,
 295                         xfs_efd_item_sizeof(efdp));
 296 }
 297
 298 /*
 299  * The EFD is either committed or aborted if the transaction is cancelled. If
 300  * the transaction is cancelled, drop our reference to the EFI and free the EFD.
 301  */
 302 STATIC void
 303 xfs_efd_item_release(
 304         struct xfs_log_item     *lip)
 305 {
 306         struct xfs_efd_log_item *efdp = EFD_ITEM(lip);
 307
 308         xfs_efi_release(efdp->efd_efip);
 309         xfs_efd_item_free(efdp);
 310 }
 311
 312 static const struct xfs_item_ops xfs_efd_item_ops = {
 313         .flags          = XFS_ITEM_RELEASE_WHEN_COMMITTED,
 314         .iop_size       = xfs_efd_item_size,
 315         .iop_format     = xfs_efd_item_format,
 316         .iop_release    = xfs_efd_item_release,
 317 };
 318
 319 /*
 320  * Allocate an "extent free done" log item that will hold nextents worth of
 321  * extents.  The caller must use all nextents extents, because we are not
 322  * flexible about this at all.
 323  */
 324 static struct xfs_efd_log_item *
 325 xfs_trans_get_efd(
 326         struct xfs_trans                *tp,
 327         struct xfs_efi_log_item         *efip,
 328         unsigned int                    nextents)
 329 {
 330         struct xfs_efd_log_item         *efdp;
 331
 332         ASSERT(nextents > 0);
 333
 334         if (nextents > XFS_EFD_MAX_FAST_EXTENTS) {
 335                 efdp = kmem_zalloc(sizeof(struct xfs_efd_log_item) +
 336                                 (nextents - 1) * sizeof(struct xfs_extent),
 337                                 0);
 338         } else {
 339                 efdp = kmem_zone_zalloc(xfs_efd_zone, 0);
 340         }
 341
 342         xfs_log_item_init(tp->t_mountp, &efdp->efd_item, XFS_LI_EFD,
 343                           &xfs_efd_item_ops);
 344         efdp->efd_efip = efip;
 345         efdp->efd_format.efd_nextents = nextents;
 346         efdp->efd_format.efd_efi_id = efip->efi_format.efi_id;
 347
 348         xfs_trans_add_item(tp, &efdp->efd_item);
 349         return efdp;
 350 }
 351
 352 /*
 353  * Free an extent and log it to the EFD. Note that the transaction is marked
 354  * dirty regardless of whether the extent free succeeds or fails to support the
 355  * EFI/EFD lifecycle rules.
 356  */
 357 static int
 358 xfs_trans_free_extent(
 359         struct xfs_trans                *tp,
 360         struct xfs_efd_log_item         *efdp,
 361         xfs_fsblock_t                   start_block,
 362         xfs_extlen_t                    ext_len,
 363         const struct xfs_owner_info     *oinfo,
 364         bool                            skip_discard)
 365 {
 366         struct xfs_mount                *mp = tp->t_mountp;
 367         struct xfs_extent               *extp;
 368         uint                            next_extent;
 369         xfs_agnumber_t                  agno = XFS_FSB_TO_AGNO(mp, start_block);
 370         xfs_agblock_t                   agbno = XFS_FSB_TO_AGBNO(mp,
 371                                                                 start_block);
 372         int                             error;
 373
 374         trace_xfs_bmap_free_deferred(tp->t_mountp, agno, 0, agbno, ext_len);
 375
 376         error = __xfs_free_extent(tp, start_block, ext_len,
 377                                   oinfo, XFS_AG_RESV_NONE, skip_discard);
 378         /*
 379          * Mark the transaction dirty, even on error. This ensures the
 380          * transaction is aborted, which:
 381          *
 382          * 1.) releases the EFI and frees the EFD
 383          * 2.) shuts down the filesystem
 384          */
 385         tp->t_flags |= XFS_TRANS_DIRTY;
 386         set_bit(XFS_LI_DIRTY, &efdp->efd_item.li_flags);
 387
 388         next_extent = efdp->efd_next_extent;
 389         ASSERT(next_extent < efdp->efd_format.efd_nextents);
 390         extp = &(efdp->efd_format.efd_extents[next_extent]);
 391         extp->ext_start = start_block;
 392         extp->ext_len = ext_len;
 393         efdp->efd_next_extent++;
 394
 395         return error;
 396 }
 397
 398 /* Sort bmap items by AG. */
 399 static int
 400 xfs_extent_free_diff_items(
 401         void                            *priv,
 402         struct list_head                *a,
 403         struct list_head                *b)
 404 {
 405         struct xfs_mount                *mp = priv;
 406         struct xfs_extent_free_item     *ra;
 407         struct xfs_extent_free_item     *rb;
 408
 409         ra = container_of(a, struct xfs_extent_free_item, xefi_list);
 410         rb = container_of(b, struct xfs_extent_free_item, xefi_list);
 411         return  XFS_FSB_TO_AGNO(mp, ra->xefi_startblock) -
 412                 XFS_FSB_TO_AGNO(mp, rb->xefi_startblock);
 413 }
 414
 415 /* Get an EFI. */
 416 STATIC void *
 417 xfs_extent_free_create_intent(
 418         struct xfs_trans                *tp,
 419         unsigned int                    count)
 420 {
 421         struct xfs_efi_log_item         *efip;
 422
 423         ASSERT(tp != NULL);
 424         ASSERT(count > 0);
 425
 426         efip = xfs_efi_init(tp->t_mountp, count);
 427         ASSERT(efip != NULL);
 428
 429         /*
 430          * Get a log_item_desc to point at the new item.
 431          */
 432         xfs_trans_add_item(tp, &efip->efi_item);
 433         return efip;
 434 }
 435
 436 /* Log a free extent to the intent item. */
 437 STATIC void
 438 xfs_extent_free_log_item(
 439         struct xfs_trans                *tp,
 440         void                            *intent,
 441         struct list_head                *item)
 442 {
 443         struct xfs_efi_log_item         *efip = intent;
 444         struct xfs_extent_free_item     *free;
 445         uint                            next_extent;
 446         struct xfs_extent               *extp;
 447
 448         free = container_of(item, struct xfs_extent_free_item, xefi_list);
 449
 450         tp->t_flags |= XFS_TRANS_DIRTY;
 451         set_bit(XFS_LI_DIRTY, &efip->efi_item.li_flags);
 452
 453         /*
 454          * atomic_inc_return gives us the value after the increment;
 455          * we want to use it as an array index so we need to subtract 1 from
 456          * it.
 457          */
 458         next_extent = atomic_inc_return(&efip->efi_next_extent) - 1;
 459         ASSERT(next_extent < efip->efi_format.efi_nextents);
 460         extp = &efip->efi_format.efi_extents[next_extent];
 461         extp->ext_start = free->xefi_startblock;
 462         extp->ext_len = free->xefi_blockcount;
 463 }
 464
 465 /* Get an EFD so we can process all the free extents. */
 466 STATIC void *
 467 xfs_extent_free_create_done(
 468         struct xfs_trans                *tp,
 469         void                            *intent,
 470         unsigned int                    count)
 471 {
 472         return xfs_trans_get_efd(tp, intent, count);
 473 }
 474
 475 /* Process a free extent. */
 476 STATIC int
 477 xfs_extent_free_finish_item(
 478         struct xfs_trans                *tp,
 479         struct list_head                *item,
 480         void                            *done_item,
 481         void                            **state)
 482 {
 483         struct xfs_extent_free_item     *free;
 484         int                             error;
 485
 486         free = container_of(item, struct xfs_extent_free_item, xefi_list);
 487         error = xfs_trans_free_extent(tp, done_item,
 488                         free->xefi_startblock,
 489                         free->xefi_blockcount,
 490                         &free->xefi_oinfo, free->xefi_skip_discard);
 491         kmem_free(free);
 492         return error;
 493 }
 494
 495 /* Abort all pending EFIs. */
 496 STATIC void
 497 xfs_extent_free_abort_intent(
 498         void                            *intent)
 499 {
 500         xfs_efi_release(intent);
 501 }
 502
 503 /* Cancel a free extent. */
 504 STATIC void
 505 xfs_extent_free_cancel_item(
 506         struct list_head                *item)
 507 {
 508         struct xfs_extent_free_item     *free;
 509
 510         free = container_of(item, struct xfs_extent_free_item, xefi_list);
 511         kmem_free(free);
 512 }
 513
 514 const struct xfs_defer_op_type xfs_extent_free_defer_type = {
 515         .max_items      = XFS_EFI_MAX_FAST_EXTENTS,
 516         .diff_items     = xfs_extent_free_diff_items,
 517         .create_intent  = xfs_extent_free_create_intent,
 518         .abort_intent   = xfs_extent_free_abort_intent,
 519         .log_item       = xfs_extent_free_log_item,
 520         .create_done    = xfs_extent_free_create_done,
 521         .finish_item    = xfs_extent_free_finish_item,
 522         .cancel_item    = xfs_extent_free_cancel_item,
 523 };
 524
 525 /*
 526  * AGFL blocks are accounted differently in the reserve pools and are not
 527  * inserted into the busy extent list.
 528  */
 529 STATIC int
 530 xfs_agfl_free_finish_item(
 531         struct xfs_trans                *tp,
 532         struct list_head                *item,
 533         void                            *done_item,
 534         void                            **state)
 535 {
 536         struct xfs_mount                *mp = tp->t_mountp;
 537         struct xfs_efd_log_item         *efdp = done_item;
 538         struct xfs_extent_free_item     *free;
 539         struct xfs_extent               *extp;
 540         struct xfs_buf                  *agbp;
 541         int                             error;
 542         xfs_agnumber_t                  agno;
 543         xfs_agblock_t                   agbno;
 544         uint                            next_extent;
 545
 546         free = container_of(item, struct xfs_extent_free_item, xefi_list);
 547         ASSERT(free->xefi_blockcount == 1);
 548         agno = XFS_FSB_TO_AGNO(mp, free->xefi_startblock);
 549         agbno = XFS_FSB_TO_AGBNO(mp, free->xefi_startblock);
 550
 551         trace_xfs_agfl_free_deferred(mp, agno, 0, agbno, free->xefi_blockcount);
 552
 553         error = xfs_alloc_read_agf(mp, tp, agno, 0, &agbp);
 554         if (!error)
 555                 error = xfs_free_agfl_block(tp, agno, agbno, agbp,
 556                                             &free->xefi_oinfo);
 557
 558         /*
 559          * Mark the transaction dirty, even on error. This ensures the
 560          * transaction is aborted, which:
 561          *
 562          * 1.) releases the EFI and frees the EFD
 563          * 2.) shuts down the filesystem
 564          */
 565         tp->t_flags |= XFS_TRANS_DIRTY;
 566         set_bit(XFS_LI_DIRTY, &efdp->efd_item.li_flags);
 567
 568         next_extent = efdp->efd_next_extent;
 569         ASSERT(next_extent < efdp->efd_format.efd_nextents);
 570         extp = &(efdp->efd_format.efd_extents[next_extent]);
 571         extp->ext_start = free->xefi_startblock;
 572         extp->ext_len = free->xefi_blockcount;
 573         efdp->efd_next_extent++;
 574
 575         kmem_free(free);
 576         return error;
 577 }
 578
 579 /* sub-type with special handling for AGFL deferred frees */
 580 const struct xfs_defer_op_type xfs_agfl_free_defer_type = {
 581         .max_items      = XFS_EFI_MAX_FAST_EXTENTS,
 582         .diff_items     = xfs_extent_free_diff_items,
 583         .create_intent  = xfs_extent_free_create_intent,
 584         .abort_intent   = xfs_extent_free_abort_intent,
 585         .log_item       = xfs_extent_free_log_item,
 586         .create_done    = xfs_extent_free_create_done,
 587         .finish_item    = xfs_agfl_free_finish_item,
 588         .cancel_item    = xfs_extent_free_cancel_item,
 589 };
 590
 591 /*
 592  * Process an extent free intent item that was recovered from
 593  * the log.  We need to free the extents that it describes.
 594  */
 595 int
 596 xfs_efi_recover(
 597         struct xfs_mount        *mp,
 598         struct xfs_efi_log_item *efip)
 599 {
 600         struct xfs_efd_log_item *efdp;
 601         struct xfs_trans        *tp;
 602         int                     i;
 603         int                     error = 0;
 604         xfs_extent_t            *extp;
 605         xfs_fsblock_t           startblock_fsb;
 606
 607         ASSERT(!test_bit(XFS_EFI_RECOVERED, &efip->efi_flags));
 608
 609         /*
 610          * First check the validity of the extents described by the
 611          * EFI.  If any are bad, then assume that all are bad and
 612          * just toss the EFI.
 613          */
 614         for (i = 0; i < efip->efi_format.efi_nextents; i++) {
 615                 extp = &efip->efi_format.efi_extents[i];
 616                 startblock_fsb = XFS_BB_TO_FSB(mp,
 617                                    XFS_FSB_TO_DADDR(mp, extp->ext_start));
 618                 if (startblock_fsb == 0 ||
 619                     extp->ext_len == 0 ||
 620                     startblock_fsb >= mp->m_sb.sb_dblocks ||
 621                     extp->ext_len >= mp->m_sb.sb_agblocks) {
 622                         /*
 623                          * This will pull the EFI from the AIL and
 624                          * free the memory associated with it.
 625                          */
 626                         set_bit(XFS_EFI_RECOVERED, &efip->efi_flags);
 627                         xfs_efi_release(efip);
 628                         return -EFSCORRUPTED;
 629                 }
 630         }
 631
 632         error = xfs_trans_alloc(mp, &M_RES(mp)->tr_itruncate, 0, 0, 0, &tp);
 633         if (error)
 634                 return error;
 635         efdp = xfs_trans_get_efd(tp, efip, efip->efi_format.efi_nextents);
 636
 637         for (i = 0; i < efip->efi_format.efi_nextents; i++) {
 638                 extp = &efip->efi_format.efi_extents[i];
 639                 error = xfs_trans_free_extent(tp, efdp, extp->ext_start,
 640                                               extp->ext_len,
 641                                               &XFS_RMAP_OINFO_ANY_OWNER, false);
 642                 if (error)
 643                         goto abort_error;
 644
 645         }
 646
 647         set_bit(XFS_EFI_RECOVERED, &efip->efi_flags);
 648         error = xfs_trans_commit(tp);
 649         return error;
 650
 651 abort_error:
 652         xfs_trans_cancel(tp);
 653         return error;
 654 }