DSISR_BAD_FAULT_64S
if (!(dsisr & (DSISR_BAD_FAULT_64S | DSISR_NOHPTE |
if (!(dsisr & (DSISR_BAD_FAULT_64S | DSISR_NOHPTE |
if (unlikely(dsisr & (DSISR_BAD_FAULT_64S | DSISR_KEYFAULT))) {
unsigned long flag = DSISR_BAD_FAULT_64S;