de_fault 96 kernel/arch/amd64/src/interrupt.c static void de_fault(unsigned int n, istate_t *istate) de_fault 96 kernel/arch/ia32/src/interrupt.c static void de_fault(unsigned int n, istate_t *istate)