 /* enable it */ gscps2_enable(ps2port, ENABLE); 
static void gscps2_reset(struct gscps2port *ps2port){	char *addr = ps2port->addr;	unsigned long flags;	/* reset the interface */	spin_lock_irqsave(&ps2port->lock, flags);	gscps2_flush(ps2port);	writeb(0xff, addr+GSC_RESET);	gscps2_flush(ps2port);	spin_unlock_irqrestore(&ps2port->lock, flags);	/* enable it */	gscps2_enable(ps2port, ENABLE);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6ab0f5cd364476fe5cb329fd46ee41bea6d4c69c/gscps2.c/buggy/drivers/input/serio/gscps2.c