ia64_native_register_ipi  113 arch/ia64/include/asm/hw_irq.h #define ia64_register_ipi	ia64_native_register_ipi
ia64_native_register_ipi  119 arch/ia64/include/asm/hw_irq.h extern void ia64_native_register_ipi(void);