Symbol: psb_mmu_set_pte
drivers/gpu/drm/gma500/mmu.c
649
psb_mmu_set_pte(pt, addr, pte);
drivers/gpu/drm/gma500/mmu.c
712
psb_mmu_set_pte(pt, addr, pte);