kernel/arch/amd64/include/arch/smp/smp.h kernel/arch/ia32/include/arch/smp/smp.h kernel/arch/sparc64/include/arch/smp/sun4v/smp.h kernel/generic/include/smp/smp.h