From patchwork Sun Jun 4 02:21:01 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Eric Biggers X-Patchwork-Id: 13266447 Received: from smtp.kernel.org (aws-us-west-2-korg-mail-1.web.codeaurora.org [10.30.226.201]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 5DAAC17C8 for ; Sun, 4 Jun 2023 02:22:44 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id AD8D8C433A0; Sun, 4 Jun 2023 02:22:43 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1685845363; bh=ZiSBZDkLcKmw75eFzau26ap+7KM3r4RIljqcwt+8ZvY=; h=From:To:Cc:Subject:Date:From; b=WRMY03XlxPjWUjdhXzJe2L6CZvyDwiObAFDahpwHj2lGjHxH3B8zijeRmfsm9niab xVgOIdzovx8paCIkpWKtdUHeC0m3tE0CJpzICgY12Ve5PIXWyxtmOX/82YBHlFbi8N zg79k5z8MV0y9kS+eQHFqbk67Dy+Wfoe2/3A9Rx+afjOqjn9OrqWquDIC0rPOx926x HL7n1Msa/HWhVkA8yA8gNeLI4CgNzxqINrFoC41/J2Yu3+2ngn/DOoXsTjQDaFgb/1 om+p8eAh3rAlyH+mOp0971rqaJfOVa8vL25Dr8a4fFaveTNBk4FKIzRJiHzcaW4BkN bqBx8dJzkaBfA== From: Eric Biggers To: fsverity@lists.linux.dev Cc: linux-fsdevel@vger.kernel.org Subject: [PATCH] fsverity: don't use bio_first_page_all() in fsverity_verify_bio() Date: Sat, 3 Jun 2023 19:21:01 -0700 Message-ID: <20230604022101.48342-1-ebiggers@kernel.org> X-Mailer: git-send-email 2.41.0 Precedence: bulk X-Mailing-List: fsverity@lists.linux.dev List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 From: Eric Biggers bio_first_page_all(bio)->mapping->host is not compatible with large folios, since the first page of the bio is not necessarily the head page of the folio, and therefore it might not have the mapping pointer set. Therefore, move the dereference of ->mapping->host into verify_data_blocks(), which works with a folio. (Like the commit that this Fixes, this hasn't actually been tested with large folios yet, since the filesystems that use fs/verity/ don't support that yet. But based on code review, I think this is needed.) Fixes: 5d0f0e57ed90 ("fsverity: support verifying data from large folios") Signed-off-by: Eric Biggers Reviewed-by: Matthew Wilcox (Oracle) --- fs/verity/verify.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) base-commit: c61c38330e582e664fdb97bcb9faf9fa0e4ee175 diff --git a/fs/verity/verify.c b/fs/verity/verify.c index 702500ef1f348..0b54f94d763e6 100644 --- a/fs/verity/verify.c +++ b/fs/verity/verify.c @@ -256,9 +256,10 @@ verify_data_block(struct inode *inode, struct fsverity_info *vi, } static bool -verify_data_blocks(struct inode *inode, struct folio *data_folio, - size_t len, size_t offset, unsigned long max_ra_pages) +verify_data_blocks(struct folio *data_folio, size_t len, size_t offset, + unsigned long max_ra_pages) { + struct inode *inode = data_folio->mapping->host; struct fsverity_info *vi = inode->i_verity_info; const unsigned int block_size = vi->tree_params.block_size; u64 pos = (u64)data_folio->index << PAGE_SHIFT; @@ -298,7 +299,7 @@ verify_data_blocks(struct inode *inode, struct folio *data_folio, */ bool fsverity_verify_blocks(struct folio *folio, size_t len, size_t offset) { - return verify_data_blocks(folio->mapping->host, folio, len, offset, 0); + return verify_data_blocks(folio, len, offset, 0); } EXPORT_SYMBOL_GPL(fsverity_verify_blocks); @@ -320,7 +321,6 @@ EXPORT_SYMBOL_GPL(fsverity_verify_blocks); */ void fsverity_verify_bio(struct bio *bio) { - struct inode *inode = bio_first_page_all(bio)->mapping->host; struct folio_iter fi; unsigned long max_ra_pages = 0; @@ -338,7 +338,7 @@ void fsverity_verify_bio(struct bio *bio) } bio_for_each_folio_all(fi, bio) { - if (!verify_data_blocks(inode, fi.folio, fi.length, fi.offset, + if (!verify_data_blocks(fi.folio, fi.length, fi.offset, max_ra_pages)) { bio->bi_status = BLK_STS_IOERR; break;