nm_fault 134 kernel/arch/amd64/src/interrupt.c static void nm_fault(unsigned int n, istate_t *istate) nm_fault 155 kernel/arch/ia32/src/interrupt.c static void nm_fault(unsigned int n __attribute__((unused)),