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