WARNING: Comparing jiffies is almost always wrong; prefer time_after, time_before and friends