../../../ia32/include/arch/smp