--- zzzz-none-000/linux-4.1.38/arch/arm64/include/asm/cacheflush.h	2017-01-18 18:48:06.000000000 +0000
+++ bcm63-7582-715/linux-4.1.38/arch/arm64/include/asm/cacheflush.h	2020-11-25 10:06:48.000000000 +0000
@@ -74,6 +74,9 @@
 extern void flush_icache_range(unsigned long start, unsigned long end);
 extern void __flush_dcache_area(void *addr, size_t len);
 extern long __flush_cache_user_range(unsigned long start, unsigned long end);
+#if defined(CONFIG_BCM_KF_NBUFF)
+extern void __inval_cache_range(void *start, void* end);
+#endif
 
 static inline void flush_cache_mm(struct mm_struct *mm)
 {