fixed bugs

src/userprog/process.c

@@ -50,7 +50,8 @@ process_execute (const char *file_name)
     char *token;
     char *saveptr;
 
-    token = strtok_r(user_str, " ", &saveptr);
+
+    token = strtok_r(file_name, " ", &saveptr);
     if (token != NULL) { // split string using strtok_r function
         file_name_extracted = token;
 
@@ -71,7 +72,7 @@ process_execute (const char *file_name)
     
     int number_of_args=0; // to count how many args out of 3 passed to the stack 
 
-    printf("filename: %s\n", filename);
+    printf("filename: %s\n", file_name);
       if(args1!=NULL){
           printf("args1: %s\n", args1);
           number_of_args+=1;

src/userprog/syscall.c

@@ -91,3 +91,4 @@ syscall_handler (struct intr_frame *f UNUSED)
 }
   thread_exit ();
 }
+}