HelenOS sources

DIVIDE_1          487 kernel/arch/amd64/src/smp/apic.c 	tdcr.div_value = DIVIDE_1;
DIVIDE_1          487 kernel/arch/ia32/src/smp/apic.c 	tdcr.div_value = DIVIDE_1;