Rename execute_thread() to start_process().

[pintos-anon] / src / threads / intr-stubs.S

diff --git a/src/threads/intr-stubs.S b/src/threads/intr-stubs.S
index b34c142a59625b0ccbc5fe3cf9616da95deb4a57..334d8ccb0f78d9ca1124472056171799b2f9024e 100644 (file)
--- a/src/threads/intr-stubs.S
+++ b/src/threads/intr-stubs.S
@@ -44,7 +44,7 @@ intr_entry:
    stack, and returns to the caller.
 
    This is a separate function because it is called directly when
-   we launch a new user process (see execute_thread() in
+   we launch a new user process (see start_process() in
    userprog/process.c). */
 .globl intr_exit
 .func intr_exit