root/include/asm-x86/bigsmp/

[..]
  1. apic.h
  2. apicdef.h
  3. ipi.h
[..]