ia64_process_pending_intr  130 arch/ia64/kernel/irq.c 	extern void ia64_process_pending_intr(void);
ia64_process_pending_intr  154 arch/ia64/kernel/irq.c 	ia64_process_pending_intr();