Avoids deadlock when handle_page_fault() fails