MFC_DSISR_PTE_NOT_FOUND
if ((dsisr & MFC_DSISR_PTE_NOT_FOUND) &&
if (!(dsisr & (MFC_DSISR_PTE_NOT_FOUND | MFC_DSISR_ACCESS_DENIED)))
if (dsisr & (MFC_DSISR_PTE_NOT_FOUND | MFC_DSISR_ACCESS_DENIED))