title: GetTickCount equivalent in kernel module
body: <p>Actually to be more specific I want to get the time an IRQ is triggered. Im used to using GetTickCount and I'm wondering what time mechanism can be used inside a linux kernel module.</p>