psb_mmu_set_pte   676 drivers/gpu/drm/gma500/mmu.c 			psb_mmu_set_pte(pt, addr, pte);
psb_mmu_set_pte   739 drivers/gpu/drm/gma500/mmu.c 				psb_mmu_set_pte(pt, addr, pte);