Update pagefault.c