3 ms·

Might be good to clarify that the "dinosaur book" is not the same as the Arpaci-Dusseau book linked above.