HelenOS sources

icr_t             140 kernel/arch/amd64/include/arch/smp/apic.h } __attribute__((packed)) icr_t;
icr_t             140 kernel/arch/ia32/include/arch/smp/apic.h } __attribute__((packed)) icr_t;
HelenOS homepage, sources at GitHub