Fix warning.

diff --git a/solutions/p2.patch b/solutions/p2.patch
index 62608d4f153f66fe8e757cd7399600e429193edc..e1d72745b617dd3186bcfa4772d9f08bb67271f3 100644 (file)
--- a/solutions/p2.patch
+++ b/solutions/p2.patch
@@ -445,7 +445,7 @@ diff -u src/userprog/process.c~ src/userprog/process.c
 +  for (karg = strtok_r (cmd_line_copy, " ", &saveptr); karg != NULL;
 +       karg = strtok_r (NULL, " ", &saveptr))
 +    {
-+      char *uarg = upage + (karg - (char *) kpage);
++      void *uarg = upage + (karg - (char *) kpage);
 +      if (push (kpage, &ofs, &uarg, sizeof uarg) == NULL)
 +        return false;
 +      argc++;

diff --git a/solutions/p3.patch b/solutions/p3.patch
index 69e7d4baf30d179658f9beedb48be58f62a10e9f..89fead0684cbacd78397b1d541a6dd25a7aa3725 100644 (file)
--- a/solutions/p3.patch
+++ b/solutions/p3.patch
@@ -765,7 +765,7 @@ diff -u src/userprog/process.c~ src/userprog/process.c
 +  for (karg = strtok_r (cmd_line_copy, " ", &saveptr); karg != NULL;
 +       karg = strtok_r (NULL, " ", &saveptr))
 +    {
-+      char *uarg = upage + (karg - (char *) kpage);
++      void *uarg = upage + (karg - (char *) kpage);
 +      if (push (kpage, &ofs, &uarg, sizeof uarg) == NULL)
 +        return false;
 +      argc++;

diff --git a/solutions/p4.patch b/solutions/p4.patch
index 82a51e17a4e8811bf1ef322cee0c2ce3e145b9e4..057d0a79165e3606a018459d6ffad0bdd19c6a80 100644 (file)
--- a/solutions/p4.patch
+++ b/solutions/p4.patch
@@ -2686,7 +2686,7 @@ diff -u src/userprog/process.c~ src/userprog/process.c
 -        *esp = PHYS_BASE;
 -      else
 -        palloc_free_page (kpage);
-+      char *uarg = upage + (karg - (char *) kpage);
++      void *uarg = upage + (karg - (char *) kpage);
 +      if (push (kpage, &ofs, &uarg, sizeof uarg) == NULL)
 +        return false;
 +      argc++;