problem with kernel level api

[Samar Asbe <samarasbe@gmail.com>]

Hi,

I have been trying to get a system time in a linux device driver.
do_gettimeofday in kernel level and gettimeofday in user level, both
these functions give me different times.

can some 1 tell me how?