extern inline void hw_resend_irq (struct hw_interrupt_type *h, unsigned int i) 
static inline void hw_resend_irq (struct hw_interrupt_type *h, unsigned int i) 
extern inline void hw_resend_irq (struct hw_interrupt_type *h, unsigned int i){}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/23f88fe4bffe01a0d29326789cb5813cd6f8158e/hw_irq.h/buggy/include/asm-v850/hw_irq.h