человекочитаемая временная метка в ядре linux

Как я могу записать человекочитаемую метку времени в ядре linux? Я думаю, что do_gettimeofday возвращает эпоху, но я не хочу пытаться преобразовать ее в читаемое время. Мне просто нужен формат вроде Hour:Min:Sec:Msec. Спасибо