From: Matthew Wilcox <mawilcox@xxxxxxxxxxxxx> sparse doesn't know that follow_pte_pmd conditionally acquires the ptl, so add an annotation to let it know what's going on. Signed-off-by: Matthew Wilcox <mawilcox@xxxxxxxxxxxxx> --- fs/dax.c | 1 + 1 file changed, 1 insertion(+) diff --git a/fs/dax.c b/fs/dax.c index f591ab5be590..6ef727af30f0 100644 --- a/fs/dax.c +++ b/fs/dax.c @@ -531,6 +531,7 @@ static void dax_mapping_entry_mkclean(struct address_space *mapping, */ if (follow_pte_pmd(vma->vm_mm, address, &start, &end, &ptep, &pmdp, &ptl)) continue; + __acquire(ptl); /* Conditionally acquired above */ /* * No need to call mmu_notifier_invalidate_range() as we are -- 2.15.1
