HelenOS sources

de_fault          217 kernel/arch/amd64/src/interrupt.c 	exc_register(VECTOR_DE, "de_fault", true, (iroutine_t) de_fault);
de_fault          238 kernel/arch/ia32/src/interrupt.c 	exc_register(VECTOR_DE, "de_fault", true, (iroutine_t) de_fault);