HelenOS sources

ICRT              504 kernel/arch/amd64/src/smp/apic.c 	l_apic[ICRT] = 0xffffffff;
ICRT              513 kernel/arch/amd64/src/smp/apic.c 	l_apic[ICRT] = t1 - t2;
ICRT              504 kernel/arch/ia32/src/smp/apic.c 	l_apic[ICRT] = 0xffffffff;
ICRT              513 kernel/arch/ia32/src/smp/apic.c 	l_apic[ICRT] = t1 - t2;