HelenOS sources
ICRhi 312 kernel/arch/amd64/src/smp/apic.c icr.hi = l_apic[ICRhi];
ICRhi 323 kernel/arch/amd64/src/smp/apic.c l_apic[ICRhi] = icr.hi;
ICRhi 371 kernel/arch/amd64/src/smp/apic.c icr.hi = l_apic[ICRhi];
ICRhi 381 kernel/arch/amd64/src/smp/apic.c l_apic[ICRhi] = icr.hi;
ICRhi 312 kernel/arch/ia32/src/smp/apic.c icr.hi = l_apic[ICRhi];
ICRhi 323 kernel/arch/ia32/src/smp/apic.c l_apic[ICRhi] = icr.hi;
ICRhi 371 kernel/arch/ia32/src/smp/apic.c icr.hi = l_apic[ICRhi];
ICRhi 381 kernel/arch/ia32/src/smp/apic.c l_apic[ICRhi] = icr.hi;
HelenOS homepage, sources at GitHub