HelenOS sources

kernel/arch/amd64/include/arch/smp/ap.h
kernel/arch/ia32/include/arch/smp/ap.h
HelenOS homepage, sources at GitHub