Symbol: psb_mmu_pd_index
drivers/gpu/drm/gma500/mmu.c
312
uint32_t index = psb_mmu_pd_index(addr);
drivers/gpu/drm/gma500/mmu.c
352
uint32_t index = psb_mmu_pd_index(addr);