PSB_PTE_CACHED     38 drivers/gpu/drm/gma500/gtt.c 		mask |= PSB_PTE_CACHED;
PSB_PTE_CACHED    156 drivers/gpu/drm/gma500/mmu.c 		mask |= PSB_PTE_CACHED;