OpenCloudOS-Kernel/arch/x86/include/asm/mach-generic/mach_ipi.h