init_input_dev(&rpcmouse_dev); 
if (!(rpcmouse_dev = input_allocate_device())) return -ENOMEM;  rpcmouse_dev->name = "Acorn RiscPC Mouse"; rpcmouse_dev->phys = "rpcmouse/input0"; rpcmouse_dev->id.bustype = BUS_HOST; rpcmouse_dev->id.vendor  = 0x0005; rpcmouse_dev->id.product = 0x0001; rpcmouse_dev->id.version = 0x0100;  rpcmouse_dev->evbit[0] = BIT(EV_KEY) | BIT(EV_REL); rpcmouse_dev->keybit[LONG(BTN_LEFT)] = BIT(BTN_LEFT) | BIT(BTN_MIDDLE) | BIT(BTN_RIGHT); rpcmouse_dev->relbit[0]	= BIT(REL_X) | BIT(REL_Y); 
static int __init rpcmouse_init(void){	init_input_dev(&rpcmouse_dev);	rpcmouse_lastx = (short) iomd_readl(IOMD_MOUSEX);	rpcmouse_lasty = (short) iomd_readl(IOMD_MOUSEY);	if (request_irq(IRQ_VSYNCPULSE, rpcmouse_irq, SA_SHIRQ, "rpcmouse", &rpcmouse_dev)) {		printk(KERN_ERR "rpcmouse: unable to allocate VSYNC interrupt\n");		return -1;	}	input_register_device(&rpcmouse_dev);	printk(KERN_INFO "input: Acorn RiscPC mouse\n");	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2e5b636bb5f8dacbb91d08544e2c41ebcad5dace/rpcmouse.c/buggy/drivers/input/mouse/rpcmouse.c