Clean up handling of stack frames.

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

diff --git a/src/userprog/addrspace.c b/src/userprog/addrspace.c
index 3837d4ed00a6e6edce942bdd2dcd25840041acee..28e89f7884ec2d5245ded6c056bddfe3b9fa885d 100644 (file)
--- a/src/userprog/addrspace.c
+++ b/src/userprog/addrspace.c
@@ -230,3 +230,12 @@ addrspace_destroy (struct addrspace *as)
   if (as != NULL && as->pagedir != NULL) 
     pagedir_destroy (as->pagedir); 
 }
+
+void
+addrspace_activate (struct addrspace *as) 
+{
+  ASSERT (as != NULL);
+  
+  if (as->pagedir != NULL)
+    pagedir_activate (as->pagedir);
+}