kernel-fxtec-pro1x/include/asm-x86/mach-generic/mach_ipi.h