X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=solutions%2Fp4.patch;h=057d0a79165e3606a018459d6ffad0bdd19c6a80;hb=4d4f7cdae7c29fc7dfcecc16c6a683dd512532cf;hp=82a51e17a4e8811bf1ef322cee0c2ce3e145b9e4;hpb=081c3133d9fc92b8f5203259bd09492916c23c60;p=pintos-anon

diff --git a/solutions/p4.patch b/solutions/p4.patch
index 82a51e1..057d0a7 100644
--- 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++;