Linux-printk style timing.