Apparently the Linux kernel internally uses a time unit called a jiffy. Luckily they provide convenient functions to convert from milliseconds and so on in kernel/time.c.