psb_mmu_invalidate_pte  575 drivers/gpu/drm/gma500/mmu.c 			psb_mmu_invalidate_pte(pt, addr);
psb_mmu_invalidate_pte  631 drivers/gpu/drm/gma500/mmu.c 				psb_mmu_invalidate_pte(pt, addr);