del_timer(&mmc_detect.detect_timer); 
static void corgi_mci_exit(struct device *dev, void *data){	free_irq(CORGI_IRQ_GPIO_nSD_DETECT, data);	del_timer(&mmc_detect.detect_timer);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/aa6c2e794f7e1f54dc52c84471c750327fa21ccd/corgi.c/clean/arch/arm/mach-pxa/corgi.c