Symbol: PPC_nFAULT_INTR
sys/dev/misc/ppc/ppc.c
1571
w_ecr(ppc, ecr | PPC_nFAULT_INTR);
sys/dev/misc/ppc/ppcreg.h
143
#define PPC_DISABLE_INTR (PPC_SERVICE_INTR | PPC_nFAULT_INTR)