fix page fault return codes