[PATCH 4/38] arch/parisc: Use time_before, time_before_eq, etc.

2007-12-24 Thread Julia Lawall
From: Julia Lawall <[EMAIL PROTECTED]>

The functions time_before, time_before_eq, time_after, and time_after_eq
are more robust for comparing jiffies against other values.

A simplified version of the semantic patch making this change is as follows:
(http://www.emn.fr/x-info/coccinelle/)

// 
@ change_compare_np @
expression E;
@@

(
- jiffies <= E
+ time_before_eq(jiffies,E)
|
- jiffies >= E
+ time_after_eq(jiffies,E)
|
- jiffies < E
+ time_before(jiffies,E)
|
- jiffies > E
+ time_after(jiffies,E)
)

@ include depends on change_compare_np @
@@

#include 

@ no_include depends on !include && change_compare_np @
@@

  #include 
+ #include 
// 

Signed-off-by: Julia Lawall <[EMAIL PROTECTED]>
---

diff -r -u -p a/arch/parisc/kernel/unaligned.c b/arch/parisc/kernel/unaligned.c
--- a/arch/parisc/kernel/unaligned.c2007-10-22 11:24:58.0 +0200
+++ b/arch/parisc/kernel/unaligned.c2007-12-23 20:33:36.0 +0100
@@ -460,7 +460,8 @@ void handle_unaligned(struct pt_regs *re
goto force_sigbus;
}
 
-   if (unaligned_count > 5 && jiffies - last_time > 5*HZ) {
+   if (unaligned_count > 5 &&
+   time_after(jiffies, last_time + 5*HZ)) {
unaligned_count = 0;
last_time = jiffies;
}
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/


[PATCH 4/38] arch/parisc: Use time_before, time_before_eq, etc.

2007-12-24 Thread Julia Lawall
From: Julia Lawall [EMAIL PROTECTED]

The functions time_before, time_before_eq, time_after, and time_after_eq
are more robust for comparing jiffies against other values.

A simplified version of the semantic patch making this change is as follows:
(http://www.emn.fr/x-info/coccinelle/)

// smpl
@ change_compare_np @
expression E;
@@

(
- jiffies = E
+ time_before_eq(jiffies,E)
|
- jiffies = E
+ time_after_eq(jiffies,E)
|
- jiffies  E
+ time_before(jiffies,E)
|
- jiffies  E
+ time_after(jiffies,E)
)

@ include depends on change_compare_np @
@@

#include linux/jiffies.h

@ no_include depends on !include  change_compare_np @
@@

  #include linux/...
+ #include linux/jiffies.h
// /smpl

Signed-off-by: Julia Lawall [EMAIL PROTECTED]
---

diff -r -u -p a/arch/parisc/kernel/unaligned.c b/arch/parisc/kernel/unaligned.c
--- a/arch/parisc/kernel/unaligned.c2007-10-22 11:24:58.0 +0200
+++ b/arch/parisc/kernel/unaligned.c2007-12-23 20:33:36.0 +0100
@@ -460,7 +460,8 @@ void handle_unaligned(struct pt_regs *re
goto force_sigbus;
}
 
-   if (unaligned_count  5  jiffies - last_time  5*HZ) {
+   if (unaligned_count  5 
+   time_after(jiffies, last_time + 5*HZ)) {
unaligned_count = 0;
last_time = jiffies;
}
--
To unsubscribe from this list: send the line unsubscribe linux-kernel in
the body of a message to [EMAIL PROTECTED]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/