src/userprog/exception.c

@@ -178,6 +178,9 @@ page_fault (struct intr_frame *f)
     }
   else
     { 
+      /* Allows for stack growth in kernel context, due to syscall failure */
+      if (handle_stack_fault (fault_addr, thread_current ()->curr_esp)) return;
+
       f->eip = (void *)f->eax;
       f->eax = 0xffffffff;
       return;