Found a bug in handle_pagefault