linux-mm.kvack.org archive mirror
 help / color / mirror / Atom feed
From: Easwar Hariharan <eahariha@linux.microsoft.com>
To: Christophe JAILLET <christophe.jaillet@wanadoo.fr>
Cc: eahariha@linux.microsoft.com,
	James.Bottomley@HansenPartnership.com, Julia.Lawall@inria.fr,
	agordeev@linux.ibm.com, airlied@gmail.com,
	akpm@linux-foundation.org, andrew+netdev@lunn.ch,
	anna-maria@linutronix.de, ath11k@lists.infradead.org,
	axboe@kernel.dk, bcm-kernel-feedback-list@broadcom.com,
	borntraeger@linux.ibm.com, catalin.marinas@arm.com,
	ceph-devel@vger.kernel.org, christian.gmeiner@gmail.com,
	christophe.leroy@csgroup.eu, cocci@inria.fr,
	coreteam@netfilter.org, daniel@zonque.org, davem@davemloft.net,
	dick.kennedy@broadcom.com, dri-devel@lists.freedesktop.org,
	edumazet@google.com, etnaviv@lists.freedesktop.org,
	florian.fainelli@broadcom.com, gor@linux.ibm.com,
	gregkh@linuxfoundation.org, haojian.zhuang@gmail.com,
	hca@linux.ibm.com, horms@kernel.org, idryomov@gmail.com,
	intel-xe@lists.freedesktop.org, james.smart@broadcom.com,
	jeroendb@google.com, jikos@kernel.org,
	jinpu.wang@cloud.ionos.com, jjohnson@kernel.org,
	joe.lawrence@redhat.com, johan.hedberg@gmail.com,
	jpoimboe@kernel.org, kadlec@netfilter.org, kuba@kernel.org,
	kvalo@kernel.org, l.stach@pengutronix.de,
	linux+etnaviv@armlinux.org.uk,
	linux-arm-kernel@lists.infradead.org,
	linux-block@vger.kernel.org, linux-bluetooth@vger.kernel.org,
	linux-kernel@vger.kernel.org, linux-mm@kvack.org,
	linux-rpi-kernel@lists.infradead.org, linux-s390@vger.kernel.org,
	linux-scsi@vger.kernel.org, linux-sound@vger.kernel.org,
	linux-staging@lists.linux.dev, linux-wireless@vger.kernel.org,
	linux@armlinux.org.uk, linuxppc-dev@lists.ozlabs.org,
	live-patching@vger.kernel.org, louis.peens@corigine.com,
	lucas.demarchi@intel.com, luiz.dentz@gmail.com,
	maarten.lankhorst@linux.intel.com, maddy@linux.ibm.com,
	marcel@holtmann.org, martin.petersen@oracle.com, mbenes@suse.cz,
	mpe@ellerman.id.au, mripard@kernel.org, naveen@kernel.org,
	netdev@vger.kernel.org, netfilter-devel@vger.kernel.org,
	nicolas.palix@imag.fr, npiggin@gmail.com, obitton@habana.ai,
	ogabbay@kernel.org, oss-drivers@corigine.com, pabeni@redhat.com,
	pablo@netfilter.org, perex@perex.cz, pkaligineedi@google.com,
	pmladek@suse.com, rjui@broadcom.com, robert.jarzmik@free.fr,
	rodrigo.vivi@intel.com, roger.pau@citrix.com,
	sbranden@broadcom.com, shailend@google.com, simona@ffwll.ch,
	svens@linux.ibm.com, thomas.hellstrom@linux.intel.com,
	tiwai@suse.com, tzimmermann@suse.de,
	xen-devel@lists.xenproject.org, xiubli@redhat.com
Subject: Re: [PATCH v2 02/21] coccinelle: misc: Add secs_to_jiffies script
Date: Mon, 18 Nov 2024 10:09:17 -0800	[thread overview]
Message-ID: <52cc0733-49fc-4452-99c6-8c18bf20dde7@linux.microsoft.com> (raw)
In-Reply-To: <20241116060541.5798-1-christophe.jaillet@wanadoo.fr>

On 11/15/2024 10:05 PM, Christophe JAILLET wrote:
> Le 15/11/2024 à 22:26, Easwar Hariharan a écrit :
>> Suggested-by: Anna-Maria Behnsen <anna-maria@linutronix.de>
>> Signed-off-by: Easwar Hariharan <eahariha@linux.microsoft.com>
>> ---
>>   scripts/coccinelle/misc/secs_to_jiffies.cocci | 21 +++++++++++++++++++++
>>   1 file changed, 21 insertions(+)
>>
>> diff --git a/scripts/coccinelle/misc/secs_to_jiffies.cocci b/scripts/coccinelle/misc/secs_to_jiffies.cocci
>> new file mode 100644
>> index 0000000000000000000000000000000000000000..af762b1c0aac8f044f21150bfaafd9efc834ee87
>> --- /dev/null
>> +++ b/scripts/coccinelle/misc/secs_to_jiffies.cocci
>> @@ -0,0 +1,21 @@
>> +// SPDX-License-Identifier: GPL-2.0-only
>> +///
>> +/// Find usages of:
>> +/// - msecs_to_jiffies(value*1000)
>> +/// - msecs_to_jiffies(value*MSEC_PER_SEC)
>> +///
>> +// Confidence: High
>> +// Copyright: (C) 2024 Easwar Hariharan Microsoft
>> +//
>> +// Keywords: secs, seconds, jiffies
>> +//
>> +
>> +@@ constant C; @@
>> +
>> +- msecs_to_jiffies(C * 1000)
>> ++ secs_to_jiffies(C)
>> +
>> +@@ constant C; @@
>> +
>> +- msecs_to_jiffies(C * MSEC_PER_SEC)
>> ++ secs_to_jiffies(C)
>>
> Hi,
> 
> 	@@ constant C =~ "000"; @@
> 
> 	* msecs_to_jiffies(C)
> 
> also spots things like msecs_to_jiffies(1000)
> 
> I'm not sure that coccinelle is enable to capture part of the regex to automate the removal of the 000 when converting from ms to s.
> 
> Just my 2c,
> 
> CJ

Thank you, I'll try that rule for the later parts. Thank you all for
helping with writing Coccinelle rules, I'm not familiar with
metaprogramming in general and Coccinelle in particular, so these are
super helpful.

- Easwar


  reply	other threads:[~2024-11-18 18:09 UTC|newest]

Thread overview: 59+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-11-15 21:26 [PATCH v2 00/21] Converge on using secs_to_jiffies() Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 01/21] netfilter: conntrack: Cleanup timeout definitions Easwar Hariharan
2024-11-15 22:34   ` Stephen Rothwell
2024-11-16  0:13     ` Easwar Hariharan
2024-11-16  9:40   ` Christophe Leroy
2024-11-18 18:13     ` Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 02/21] coccinelle: misc: Add secs_to_jiffies script Easwar Hariharan
2024-11-16  6:05   ` Christophe JAILLET
2024-11-18 18:09     ` Easwar Hariharan [this message]
2024-11-16  9:52   ` Christophe Leroy
2024-11-18 18:14     ` Easwar Hariharan
2024-11-16 10:23   ` [cocci] " Markus Elfring
2024-11-15 21:26 ` [PATCH v2 03/21] arm: pxa: Convert timeouts to use secs_to_jiffies() Easwar Hariharan
2024-11-16 10:26   ` Christophe Leroy
2024-11-15 21:26 ` [PATCH v2 04/21] s390: kernel: " Easwar Hariharan
2024-11-18  8:26   ` Heiko Carstens
2024-11-15 21:26 ` [PATCH v2 05/21] powerpc/papr_scm: Convert timeouts to secs_to_jiffies() Easwar Hariharan
2024-11-16 10:06   ` Christophe Leroy
2024-11-16 10:40     ` Dan Carpenter
2024-11-16 11:24       ` Julia Lawall
2024-11-15 21:26 ` [PATCH v2 06/21] mm: kmemleak: " Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 07/21] accel/habanalabs: " Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 08/21] drm/xe: Convert timeout " Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 09/21] drm/etnaviv: Convert timeouts " Easwar Hariharan
2024-12-02 21:16   ` Christian Gmeiner
2024-11-15 21:26 ` [PATCH v2 10/21] scsi: lpfc: " Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 11/21] scsi: arcmsr: " Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 12/21] scsi: pm8001: " Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 13/21] xen/blkback: " Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 14/21] gve: " Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 15/21] wifi: ath11k: " Easwar Hariharan
2024-11-15 22:59   ` Jeff Johnson
2024-11-15 21:26 ` [PATCH v2 16/21] Bluetooth: MGMT: " Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 17/21] staging: vc04_services: " Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 18/21] ceph: " Easwar Hariharan
2024-11-28 12:28   ` Alex Markuze
2024-11-15 21:26 ` [PATCH v2 19/21] livepatch: " Easwar Hariharan
2024-11-16 10:10   ` Christophe Leroy
2024-11-18 11:06     ` Petr Mladek
2024-11-18 18:18       ` Easwar Hariharan
2024-11-19  1:43         ` zhang warden
2024-11-19  8:52         ` Petr Mladek
2024-11-19  9:09           ` Miroslav Benes
2024-11-15 21:26 ` [PATCH v2 20/21] ALSA: line6: " Easwar Hariharan
2024-11-15 21:26 ` [PATCH v2 21/21] nfp: " Easwar Hariharan
2024-11-16 10:13   ` Christophe Leroy
2024-11-15 21:29 ` [PATCH v2 00/21] Converge on using secs_to_jiffies() Easwar Hariharan
2024-11-15 21:41   ` Jeff Johnson
2024-11-15 22:15     ` Easwar Hariharan
2024-11-15 23:20       ` Thomas Gleixner
2024-11-16  7:46   ` Christophe Leroy
2024-11-16 10:16 ` Christophe Leroy
2024-11-16 10:23 ` LEROY Christophe
2024-11-18 18:07   ` Easwar Hariharan
2024-11-29 12:57 ` Przemek Kitszel
2024-12-06 20:58   ` Easwar Hariharan
2024-12-09 12:01     ` Przemek Kitszel
2024-12-09 12:45       ` Christophe Leroy
2024-12-09 15:03         ` Przemek Kitszel

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=52cc0733-49fc-4452-99c6-8c18bf20dde7@linux.microsoft.com \
    --to=eahariha@linux.microsoft.com \
    --cc=James.Bottomley@HansenPartnership.com \
    --cc=Julia.Lawall@inria.fr \
    --cc=agordeev@linux.ibm.com \
    --cc=airlied@gmail.com \
    --cc=akpm@linux-foundation.org \
    --cc=andrew+netdev@lunn.ch \
    --cc=anna-maria@linutronix.de \
    --cc=ath11k@lists.infradead.org \
    --cc=axboe@kernel.dk \
    --cc=bcm-kernel-feedback-list@broadcom.com \
    --cc=borntraeger@linux.ibm.com \
    --cc=catalin.marinas@arm.com \
    --cc=ceph-devel@vger.kernel.org \
    --cc=christian.gmeiner@gmail.com \
    --cc=christophe.jaillet@wanadoo.fr \
    --cc=christophe.leroy@csgroup.eu \
    --cc=cocci@inria.fr \
    --cc=coreteam@netfilter.org \
    --cc=daniel@zonque.org \
    --cc=davem@davemloft.net \
    --cc=dick.kennedy@broadcom.com \
    --cc=dri-devel@lists.freedesktop.org \
    --cc=edumazet@google.com \
    --cc=etnaviv@lists.freedesktop.org \
    --cc=florian.fainelli@broadcom.com \
    --cc=gor@linux.ibm.com \
    --cc=gregkh@linuxfoundation.org \
    --cc=haojian.zhuang@gmail.com \
    --cc=hca@linux.ibm.com \
    --cc=horms@kernel.org \
    --cc=idryomov@gmail.com \
    --cc=intel-xe@lists.freedesktop.org \
    --cc=james.smart@broadcom.com \
    --cc=jeroendb@google.com \
    --cc=jikos@kernel.org \
    --cc=jinpu.wang@cloud.ionos.com \
    --cc=jjohnson@kernel.org \
    --cc=joe.lawrence@redhat.com \
    --cc=johan.hedberg@gmail.com \
    --cc=jpoimboe@kernel.org \
    --cc=kadlec@netfilter.org \
    --cc=kuba@kernel.org \
    --cc=kvalo@kernel.org \
    --cc=l.stach@pengutronix.de \
    --cc=linux+etnaviv@armlinux.org.uk \
    --cc=linux-arm-kernel@lists.infradead.org \
    --cc=linux-block@vger.kernel.org \
    --cc=linux-bluetooth@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=linux-rpi-kernel@lists.infradead.org \
    --cc=linux-s390@vger.kernel.org \
    --cc=linux-scsi@vger.kernel.org \
    --cc=linux-sound@vger.kernel.org \
    --cc=linux-staging@lists.linux.dev \
    --cc=linux-wireless@vger.kernel.org \
    --cc=linux@armlinux.org.uk \
    --cc=linuxppc-dev@lists.ozlabs.org \
    --cc=live-patching@vger.kernel.org \
    --cc=louis.peens@corigine.com \
    --cc=lucas.demarchi@intel.com \
    --cc=luiz.dentz@gmail.com \
    --cc=maarten.lankhorst@linux.intel.com \
    --cc=maddy@linux.ibm.com \
    --cc=marcel@holtmann.org \
    --cc=martin.petersen@oracle.com \
    --cc=mbenes@suse.cz \
    --cc=mpe@ellerman.id.au \
    --cc=mripard@kernel.org \
    --cc=naveen@kernel.org \
    --cc=netdev@vger.kernel.org \
    --cc=netfilter-devel@vger.kernel.org \
    --cc=nicolas.palix@imag.fr \
    --cc=npiggin@gmail.com \
    --cc=obitton@habana.ai \
    --cc=ogabbay@kernel.org \
    --cc=oss-drivers@corigine.com \
    --cc=pabeni@redhat.com \
    --cc=pablo@netfilter.org \
    --cc=perex@perex.cz \
    --cc=pkaligineedi@google.com \
    --cc=pmladek@suse.com \
    --cc=rjui@broadcom.com \
    --cc=robert.jarzmik@free.fr \
    --cc=rodrigo.vivi@intel.com \
    --cc=roger.pau@citrix.com \
    --cc=sbranden@broadcom.com \
    --cc=shailend@google.com \
    --cc=simona@ffwll.ch \
    --cc=svens@linux.ibm.com \
    --cc=thomas.hellstrom@linux.intel.com \
    --cc=tiwai@suse.com \
    --cc=tzimmermann@suse.de \
    --cc=xen-devel@lists.xenproject.org \
    --cc=xiubli@redhat.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox