GEN6_PDE_SHIFT
return i915_pte_index(addr, GEN6_PDE_SHIFT);
return i915_pte_count(addr, length, GEN6_PDE_SHIFT);
return i915_pde_index(addr, GEN6_PDE_SHIFT);
({ u32 temp = ALIGN(start + 1, 1 << GEN6_PDE_SHIFT); \