Change interface of addrspace_load() to provide initial stack pointer.

[pintos-anon] / src / userprog / addrspace.h

diff --git a/src/userprog/addrspace.h b/src/userprog/addrspace.h
index 0ab70b880a20c4871a65f1275c48ba6be6ce45c6..0b4b372b8cbd147ba9f16faa338f97b9b49d1e3a 100644 (file)
--- a/src/userprog/addrspace.h
+++ b/src/userprog/addrspace.h
@@ -4,7 +4,8 @@
 #include <stdbool.h>
 
 struct thread;
-bool addrspace_load (struct thread *, const char *, void (**start) (void));
+bool addrspace_load (struct thread *, const char *,
+                     void (**eip) (void), void **esp);
 void addrspace_destroy (struct thread *);
 void addrspace_activate (struct thread *);