HelenOS sources

root/kernel/arch/amd64/include/arch/smp/

[..]
ap.h apic.h mps.h smp.h
[..]
HelenOS homepage, sources at GitHub