pci_dma_sync_sg_for_device (struct pci_dev *dev, struct scatterlist *sg, int sg_len, int dir) 
pci_dma_sync_sg_for_device (struct pci_dev *dev, struct scatterlist *sg, int sg_len, int dir) 
pci_dma_sync_sg_for_device (struct pci_dev *dev, struct scatterlist *sg, int sg_len,		 int dir){	BUG ();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8b2bf06994b9cd6067e5c7620e270eec73fef70b/rte_mb_a_pci.c/clean/arch/v850/kernel/rte_mb_a_pci.c