mach_ipi.h   44 arch/x86/kernel/apic_32.c #include <mach_ipi.h>
mach_ipi.h   45 arch/x86/kernel/apic_64.c #include <mach_ipi.h>
mach_ipi.h   30 arch/x86/kernel/crash.c #include <mach_ipi.h>
mach_ipi.h   55 arch/x86/kernel/io_apic_64.c #include <mach_ipi.h>
mach_ipi.h   23 arch/x86/kernel/ipi.c #include <mach_ipi.h>
mach_ipi.h   49 arch/x86/kernel/kgdb.c #include <mach_ipi.h>
mach_ipi.h   29 arch/x86/kernel/smp.c #include <mach_ipi.h>
mach_ipi.h   11 arch/x86/kernel/tlb_32.c #include <mach_ipi.h>
mach_ipi.h   21 arch/x86/kernel/tlb_64.c #include <mach_ipi.h>
mach_ipi.h   35 arch/x86/kernel/visws_quirks.c #include <mach_ipi.h>
mach_ipi.h   13 arch/x86/mach-default/setup.c #include <mach_ipi.h>
mach_ipi.h   17 arch/x86/mach-generic/default.c #include <asm/mach-default/mach_ipi.h>