(dev->oss.bufsize + PAGE_SIZE) >> PAGE_SHIFT); 
(dev->oss.bufsize + PAGE_SIZE) >> PAGE_SHIFT); 
static int dsp_buffer_init(struct saa7134_dev *dev){	int err;	if (!dev->oss.bufsize)		BUG();	videobuf_dma_init(&dev->oss.dma);	err = videobuf_dma_init_kernel(&dev->oss.dma, PCI_DMA_FROMDEVICE,			               (dev->oss.bufsize + PAGE_SIZE) >> PAGE_SHIFT);	if (0 != err)		return err;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f2421ca3383ed35bc634aa29416a3229dc603fa4/saa7134-alsa.c/buggy/drivers/media/video/saa7134/saa7134-alsa.c