title: human readable timestamp in linux kernel
body: <p>How can I write human readable timestamp in linux kernel? I think <code>do_gettimeofday</code> returns epoch but I don't want to try to convert it to readable time. I just want a format like <code>Hour:Min:Sec:Msec</code>.
  Thanks</p>