HelenOS sources

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