HelenOS sources
CCRT 503 kernel/arch/amd64/src/smp/apic.c uint32_t t1 = l_apic[CCRT];
CCRT 506 kernel/arch/amd64/src/smp/apic.c while (l_apic[CCRT] == t1)
CCRT 509 kernel/arch/amd64/src/smp/apic.c t1 = l_apic[CCRT];
CCRT 511 kernel/arch/amd64/src/smp/apic.c uint32_t t2 = l_apic[CCRT];
CCRT 503 kernel/arch/ia32/src/smp/apic.c uint32_t t1 = l_apic[CCRT];
CCRT 506 kernel/arch/ia32/src/smp/apic.c while (l_apic[CCRT] == t1)
CCRT 509 kernel/arch/ia32/src/smp/apic.c t1 = l_apic[CCRT];
CCRT 511 kernel/arch/ia32/src/smp/apic.c uint32_t t2 = l_apic[CCRT];
HelenOS homepage, sources at GitHub