HelenOS sources

mps_cpu_enabled   120 kernel/arch/amd64/src/smp/mps.c 	.cpu_enabled = mps_cpu_enabled,
mps_cpu_enabled   120 kernel/arch/ia32/src/smp/mps.c 	.cpu_enabled = mps_cpu_enabled,
HelenOS homepage, sources at GitHub