--- zzzz-none-000/linux-4.1.52/arch/arm64/include/asm/cacheflush.h	2018-05-28 02:26:45.000000000 +0000
+++ bcm63-7530ax-731/linux-4.1.52/arch/arm64/include/asm/cacheflush.h	2022-03-02 11:37:12.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)
 {