acrn-kernel/include/asm-i386/mach-bigsmp
..
mach_apic.h
mach_apicdef.h
mach_ipi.h
mach_mpspec.h