Hi Vaishali,
On Sat, Jun 06, 2015 at 09:52:34AM +0530, Vaishali Thakkar wrote:
> Use mod_timer instead of del_timer followed by add_timer to update
> the expire field of the active timer.
>
> The semantic patch that performs this transformation is as follows:
>
> @change@
> expression e1, e2, e
Use mod_timer instead of del_timer followed by add_timer to update
the expire field of the active timer.
The semantic patch that performs this transformation is as follows:
@change@
expression e1, e2, e3, e4;
@@
- del_timer(&e1);
... when != e1 = e3
- e1.expires = e2;
... when != e1 = e4
- add_t
