original_kernel/include/asm-x86/bigsmp
..
apic.h
apicdef.h
ipi.h