> For most uses jiffies should die. If drivers could not access jiffies> except by a (possibly trivial) helper then it would be a huge step> closer to being able to run embedded linux without a continually running> timer.

I'm all for that, except last I counted there are about 5000 users ofjiffies. What do you suggest as a replacement API?