--- 870f77180013c04b777fa84c9e1e50053ec70c4b
+++ c215bdc28563364cb19e6ec9467343c4f3e57afe
@@ -186,4 +186,12 @@ void kgsl_mmu_set_mmutype(char *mmutype)
 unsigned int kgsl_mmu_get_current_ptbase(struct kgsl_device *device);
 enum kgsl_mmutype kgsl_mmu_get_mmutype(void);
 unsigned int kgsl_mmu_get_ptsize(void);
+
+static inline int kgsl_mmu_gpuaddr_in_range(unsigned int gpuaddr)
+{
+	return ((gpuaddr >= KGSL_PAGETABLE_BASE) &&
+		(gpuaddr <
+		 (KGSL_PAGETABLE_BASE + CONFIG_MSM_KGSL_PAGE_TABLE_SIZE)));
+}
+
 #endif /* __KGSL_MMU_H */