커널내부에서 돌아가는 디바이스드라이버 내의 시간측정

커널 내부에서 돌아가는 디바이스 드라이버 내 코드에 packet 생성 delay 를 알고자 시간측정 하는 함수가 필요한데 혹시 이 기능을 제공하는 함수가 있는지 알고 싶습니다. (물론 gettimeofday() 는 user mode 에서 제공되는 지라 사용할려면 아예 새로 만들어야 한다는....)
그럼 좋은 하루 되세요.