psb_mmu_clflush   348 drivers/gpu/drm/gma500/mmu.c 			psb_mmu_clflush(pd->driver, (void *)&v[index]);
psb_mmu_clflush   385 drivers/gpu/drm/gma500/mmu.c 			psb_mmu_clflush(pd->driver, (void *)&v[pt->index]);