psb_mmu_pd_index  319 drivers/gpu/drm/gma500/mmu.c 	uint32_t index = psb_mmu_pd_index(addr);
psb_mmu_pd_index  359 drivers/gpu/drm/gma500/mmu.c 	uint32_t index = psb_mmu_pd_index(addr);
psb_mmu_pd_index  778 drivers/gpu/drm/gma500/mmu.c 		tmp = v[psb_mmu_pd_index(virtual)];