From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 27 Jun 2005 15:14:31 +0000 (+0000)
Subject: "thread_sleep" -> "timer_sleep"
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=36f6c5491afd9398e8aac4963fab59f97f3cf11c

"thread_sleep" -> "timer_sleep"
---

diff --git a/doc/threads.tmpl b/doc/threads.tmpl
index 367baf4..9d421f6 100644
--- a/doc/threads.tmpl
+++ b/doc/threads.tmpl
@@ -32,7 +32,7 @@ FirstName LastName <email@domain.example>
 
 ---- ALGORITHMS ----
 
->> Briefly describe what happens in a call to thread_sleep(), including
+>> Briefly describe what happens in a call to timer_sleep(), including
 >> the effects of the timer interrupt handler.
 
 >> What steps are taken to minimize the amount of time spent in the timer
@@ -41,10 +41,10 @@ FirstName LastName <email@domain.example>
 ---- SYNCHRONIZATION ----
 
 >> How are race conditions avoided when multiple threads call
->> thread_sleep() simultaneously?
+>> timer_sleep() simultaneously?
 
 >> How are race conditions avoided when a timer interrupt occurs during a
->> call to thread_sleep()?
+>> call to timer_sleep()?
 
 ---- RATIONALE ----