original_kernel/include/asm-i386/mach-bigsmp/mach_mpspec.h