Add timer_sleep() that takes an argument in timer ticks.

[pintos-anon] / doc / filesys.texi

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 36d92e32903480b79bd7adc5a991dc04bc24d780..7652a8424b262481d64f36237cd29e24cf5d52a7 100644 (file)
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -218,7 +218,7 @@ demonstrate the performance improvement.
 Note that write-behind makes your filesystem more fragile in the face
 of crashes.  Therefore, you should implement some manner to
 periodically write all cached blocks to disk.  If you have
-@code{timer_msleep()} from the first project working, this is an
+@code{timer_sleep()} from the first project working, this is an
 excellent application for it.
 
 Likewise, read-ahead is only really useful when done asynchronously.