%PDF- <> %âãÏÓ endobj 2 0 obj <> endobj 3 0 obj <>/ExtGState<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI] >>/Annots[ 28 0 R 29 0 R] /MediaBox[ 0 0 595.5 842.25] /Contents 4 0 R/Group<>/Tabs/S>> endobj ºaâÚÎΞ-ÌE1ÍØÄ÷{òò2ÿ ÛÖ^ÔÀá TÎ{¦?§®¥kuµùÕ5sLOšuY>endobj 2 0 obj<>endobj 2 0 obj<>endobj 2 0 obj<>endobj 2 0 obj<> endobj 2 0 obj<>endobj 2 0 obj<>es 3 0 R>> endobj 2 0 obj<> ox[ 0.000000 0.000000 609.600000 935.600000]/Fi endobj 3 0 obj<> endobj 7 1 obj<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI]>>/Subtype/Form>> stream
// SPDX-License-Identifier: GPL-2.0 /// /// Use vma_pages function on vma object instead of explicit computation. /// // Confidence: High // Keywords: vma_pages vma // Comment: Based on resource_size.cocci virtual context virtual patch virtual org virtual report //---------------------------------------------------------- // For context mode //---------------------------------------------------------- @r_context depends on context && !patch && !org && !report@ struct vm_area_struct *vma; @@ * (vma->vm_end - vma->vm_start) >> PAGE_SHIFT //---------------------------------------------------------- // For patch mode //---------------------------------------------------------- @r_patch depends on !context && patch && !org && !report@ struct vm_area_struct *vma; @@ - ((vma->vm_end - vma->vm_start) >> PAGE_SHIFT) + vma_pages(vma) //---------------------------------------------------------- // For org mode //---------------------------------------------------------- @r_org depends on !context && !patch && (org || report)@ struct vm_area_struct *vma; position p; @@ (vma->vm_end@p - vma->vm_start) >> PAGE_SHIFT @script:python depends on report@ p << r_org.p; x << r_org.vma; @@ msg="WARNING: Consider using vma_pages helper on %s" % (x) coccilib.report.print_report(p[0], msg) @script:python depends on org@ p << r_org.p; x << r_org.vma; @@ msg="WARNING: Consider using vma_pages helper on %s" % (x) msg_safe=msg.replace("[","@(").replace("]",")") coccilib.org.print_todo(p[0], msg_safe)