[ SYSTEM ]: Linux srv.persadacompanies.com 4.18.0-553.56.1.el8_10.x86_64 #1 SMP Tue Jun 10 05:00:59 EDT 2025 x86_64
[ SERVER ]: Apache | PHP: 8.4.19
[ USER ]: persadamedika | IP: 45.64.1.108
GEFORCE FILE MANAGER
/
usr
/
src
/
kernels
/
4.18.0-553.64.1.el8_10.x86_64
/
scripts
/
coccinelle
/
api
/
UPLOAD:
NAME
SIZE
QUICK PERMS
ACTIONS
📁 alloc
SET
[ DEL ]
📁 debugfs
SET
[ DEL ]
📄 check_bq27xxx_data.cocci
3,504 B
SET
[ EDIT ]
|
[ DEL ]
📄 d_find_alias.cocci
1,309 B
SET
[ EDIT ]
|
[ DEL ]
📄 drm-get-put.cocci
1,532 B
SET
[ EDIT ]
|
[ DEL ]
📄 err_cast.cocci
1,097 B
SET
[ EDIT ]
|
[ DEL ]
📄 kstrdup.cocci
2,461 B
SET
[ EDIT ]
|
[ DEL ]
📄 memdup.cocci
1,350 B
SET
[ EDIT ]
|
[ DEL ]
📄 memdup_user.cocci
1,306 B
SET
[ EDIT ]
|
[ DEL ]
📄 platform_no_drv_owner.cocci
3,869 B
SET
[ EDIT ]
|
[ DEL ]
📄 pm_runtime.cocci
2,394 B
SET
[ EDIT ]
|
[ DEL ]
📄 ptr_ret.cocci
1,814 B
SET
[ EDIT ]
|
[ DEL ]
📄 resource_size.cocci
2,115 B
SET
[ EDIT ]
|
[ DEL ]
📄 simple_open.cocci
1,244 B
SET
[ EDIT ]
|
[ DEL ]
📄 vma_pages.cocci
1,519 B
SET
[ EDIT ]
|
[ DEL ]
DELETE SELECTED
[ CLOSE ]
EDIT: vma_pages.cocci
// 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)