title: How to use timers in Linux kernel device drivers?
body: <p>I want to implement a counter in Linux device drivers which increments after every fixed interval of time. I want to do this with the help of timers. A sample code snippet would be very useful.</p>