init_MUTEX(&dev->lock); 
init_MUTEX(&dev->lock); 
static int saa7134_hwinit1(struct saa7134_dev *dev){	dprintk("hwinit1\n");	saa_writel(SAA7134_IRQ1, 0);	saa_writel(SAA7134_IRQ2, 0);        init_MUTEX(&dev->lock);	spin_lock_init(&dev->slock);	saa7134_track_gpio(dev,"pre-init");	saa7134_video_init1(dev);	saa7134_vbi_init1(dev);	if (card_has_mpeg(dev))		saa7134_ts_init1(dev);	saa7134_input_init1(dev);	/* RAM FIFO config */	saa_writel(SAA7134_FIFO_SIZE, 0x08070503);	saa_writel(SAA7134_THRESHOULD,0x02020202);	/* enable audio + video processing */	saa_writel(SAA7134_MAIN_CTRL,		   SAA7134_MAIN_CTRL_VPLLE |		   SAA7134_MAIN_CTRL_APLLE |		   SAA7134_MAIN_CTRL_EXOSC |		   SAA7134_MAIN_CTRL_EVFE1 |		   SAA7134_MAIN_CTRL_EVFE2 |		   SAA7134_MAIN_CTRL_ESFE  |		   SAA7134_MAIN_CTRL_EBDAC);	/*	 * Initialize OSS _after_ enabling audio clock PLL and audio processing.	 * OSS initialization writes to registers via the audio DSP; these	 * writes will fail unless the audio clock has been started.  At worst,	 * audio will not work.	 */	switch (dev->pci->device) {	case PCI_DEVICE_ID_PHILIPS_SAA7134:	case PCI_DEVICE_ID_PHILIPS_SAA7133:	case PCI_DEVICE_ID_PHILIPS_SAA7135:		saa7134_oss_init1(dev);		break;	}	/* enable peripheral devices */	saa_writeb(SAA7134_SPECIAL_MODE, 0x01);	/* set vertical line numbering start (vbi needs this) */	saa_writeb(SAA7134_SOURCE_TIMING2, 0x20);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4ac97914c6c35f6bf132071c718e034d0846b9f5/saa7134-core.c/buggy/drivers/media/video/saa7134/saa7134-core.c