index <<= DART_PAGE_FACTOR; npages <<= DART_PAGE_FACTOR;  
static void dart_free(struct iommu_table *tbl, long index, long npages){	unsigned int *dp;		/* We don't worry about flushing the TLB cache. The only drawback of	 * not doing it is that we won't catch buggy device drivers doing	 * bad DMAs, but then no 32-bit architecture ever does either.	 */	DBG("dart: free at: %lx, %lx\n", index, npages);	dp  = ((unsigned int *)tbl->it_base) + index;			while (npages--)		*(dp++) = dart_emptyval;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d0035c62d9145a2ce3057c8182a7ff0b4921a41c/u3_iommu.c/buggy/arch/ppc64/kernel/u3_iommu.c