omap_set_gpio_edge_ctrl(13, OMAP_GPIO_RISING_EDGE); 
set_irq_type(OMAP_GPIO_IRQ(13), IRQT_RISING); 
void omap1510_fpga_init_irq(void){	int i;	__raw_writeb(0, OMAP1510_FPGA_IMR_LO);	__raw_writeb(0, OMAP1510_FPGA_IMR_HI);	__raw_writeb(0, INNOVATOR_FPGA_IMR2);	for (i = OMAP1510_IH_FPGA_BASE; i < (OMAP1510_IH_FPGA_BASE + NR_FPGA_IRQS); i++) {		if (i == OMAP1510_INT_FPGA_TS) {			/*			 * The touchscreen interrupt is level-sensitive, so			 * we'll use the regular mask_ack routine for it.			 */			set_irq_chip(i, &omap_fpga_irq_ack);		}		else {			/*			 * All FPGA interrupts except the touchscreen are			 * edge-sensitive, so we won't mask them.			 */			set_irq_chip(i, &omap_fpga_irq);		}		set_irq_handler(i, do_edge_IRQ);		set_irq_flags(i, IRQF_VALID);	}	/*	 * The FPGA interrupt line is connected to GPIO13. Claim this pin for	 * the ARM.	 *	 * NOTE: For general GPIO/MPUIO access and interrupts, please see	 * gpio.[ch]	 */	omap_request_gpio(13);	omap_set_gpio_direction(13, 1);	omap_set_gpio_edge_ctrl(13, OMAP_GPIO_RISING_EDGE);	set_irq_chained_handler(OMAP1510_INT_FPGA, innovator_fpga_IRQ_demux);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7c38cf021b42a4297bc8f860ab627734bdd6c8d1/fpga.c/buggy/arch/arm/mach-omap1/fpga.c