ov51x_restart    3421 drivers/media/usb/gspca/ov519.c 		ov51x_restart(sd);
ov51x_restart    4257 drivers/media/usb/gspca/ov519.c 	ov51x_restart(sd);