// 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)
Name | Type | Size | Permission | Actions |
---|---|---|---|---|
alloc | Folder | 0755 |
|
|
debugfs | Folder | 0755 |
|
|
check_bq27xxx_data.cocci | File | 3.42 KB | 0644 |
|
d_find_alias.cocci | File | 1.28 KB | 0644 |
|
drm-get-put.cocci | File | 1.93 KB | 0644 |
|
err_cast.cocci | File | 1.07 KB | 0644 |
|
kstrdup.cocci | File | 2.4 KB | 0644 |
|
memdup.cocci | File | 1.35 KB | 0644 |
|
memdup_user.cocci | File | 1.28 KB | 0644 |
|
platform_no_drv_owner.cocci | File | 3.78 KB | 0644 |
|
pm_runtime.cocci | File | 2.34 KB | 0644 |
|
ptr_ret.cocci | File | 1.77 KB | 0644 |
|
resource_size.cocci | File | 2.07 KB | 0644 |
|
simple_open.cocci | File | 1.21 KB | 0644 |
|
stream_open.cocci | File | 7.6 KB | 0644 |
|
vma_pages.cocci | File | 1.48 KB | 0644 |
|