input_register_device(&inport_dev);  printk(KERN_INFO "input: " INPORT_NAME " at %#x irq %d\n", INPORT_BASE, inport_irq); 
input_register_device(inport_dev); 
static int __init inport_init(void){	unsigned char a,b,c;	if (!request_region(INPORT_BASE, INPORT_EXTENT, "inport")) {		printk(KERN_ERR "inport.c: Can't allocate ports at %#x\n", INPORT_BASE);		return -EBUSY;	}	a = inb(INPORT_SIGNATURE_PORT);	b = inb(INPORT_SIGNATURE_PORT);	c = inb(INPORT_SIGNATURE_PORT);	if (( a == b ) || ( a != c )) {		release_region(INPORT_BASE, INPORT_EXTENT);		printk(KERN_ERR "inport.c: Didn't find InPort mouse at %#x\n", INPORT_BASE);		return -ENODEV;	}	outb(INPORT_RESET, INPORT_CONTROL_PORT);	outb(INPORT_REG_MODE, INPORT_CONTROL_PORT);	outb(INPORT_MODE_BASE, INPORT_DATA_PORT);	input_register_device(&inport_dev);	printk(KERN_INFO "input: " INPORT_NAME " at %#x irq %d\n", INPORT_BASE, inport_irq);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2e5b636bb5f8dacbb91d08544e2c41ebcad5dace/inport.c/buggy/drivers/input/mouse/inport.c