--- zzzz-none-000/linux-4.4.271/include/asm-generic/percpu.h	2021-06-03 06:22:09.000000000 +0000
+++ dakota-7530ac-750/linux-4.4.271/include/asm-generic/percpu.h	2023-01-11 09:25:43.000000000 +0000
@@ -17,8 +17,12 @@
 #ifndef __per_cpu_offset
 extern unsigned long __per_cpu_offset[NR_CPUS];
 
+#ifdef __KLOCWORK__
+#define per_cpu_offset(x) ((x < NR_CPUS) ? __per_cpu_offset[x] : 0)
+#else
 #define per_cpu_offset(x) (__per_cpu_offset[x])
 #endif
+#endif
 
 /*
  * Determine the offset for the currently active processor.