input_unregister_device(&amikbd_dev); 
static void __exit amikbd_exit(void){	input_unregister_device(&amikbd_dev);	free_irq(IRQ_AMIGA_CIAA_SP, amikbd_interrupt);	release_mem_region(CIAA_PHYSADDR-1+0xb00, 0x100);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c42f0c3dde8feb59fc87df45cadb847d5511c0a/amikbd.c/clean/drivers/input/keyboard/amikbd.c