int s3c24xx_serial_init(struct device_driver *drv, struct s3c24xx_uart_info *info) 
static int s3c24xx_serial_init(struct device_driver *drv, struct s3c24xx_uart_info *info) 
int s3c24xx_serial_init(struct device_driver *drv,			struct s3c24xx_uart_info *info){	dbg("s3c24xx_serial_init(%p,%p)\n", drv, info);	return driver_register(drv);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/17efa644f624a521e4a6c6a4641d39d227a9b24a/s3c2410.c/buggy/drivers/serial/s3c2410.c