Linux mede tempo em jiffies, ticks.
Mencionar tickless kernel (CONFIG_NO_HZ).

#include <linux/sched.h> TODO

jiffies
wrapping around... jiffies64 ou coisa assim TODO
timer_after, time_before e etc
HZ - jiffies em um segundo

schedule
schedule_interruptible
etc. TODO

msleep
msleep_interruptible