diff --git a/sys/alpha/include/globaldata.h b/sys/alpha/include/globaldata.h
index b246bb1fb70..361ae09109c 100644
--- a/sys/alpha/include/globaldata.h
+++ b/sys/alpha/include/globaldata.h
@@ -61,6 +61,7 @@ struct globaldata {
 
 	u_int		gd_astpending;
 	SLIST_ENTRY(globaldata) gd_allcpu;
+	int		gd_witness_spin_check;
 #ifdef KTR_PERCPU
 	volatile int	gd_ktr_idx;		/* Index into trace table */
 	char		*gd_ktr_buf;
diff --git a/sys/alpha/include/globals.h b/sys/alpha/include/globals.h
index b9e75fc5c58..970ef683495 100644
--- a/sys/alpha/include/globals.h
+++ b/sys/alpha/include/globals.h
@@ -58,6 +58,7 @@ register struct globaldata *globalp __asm__("$8");
 #define	switchtime	PCPU_GET(switchtime)
 #define	switchticks	PCPU_GET(switchticks)
 #define cpuid		PCPU_GET(cpuno)
+#define	witness_spin_check	PCPU_GET(witness_spin_check)
 
 #endif	/* _KERNEL */
 
diff --git a/sys/alpha/include/pcpu.h b/sys/alpha/include/pcpu.h
index b246bb1fb70..361ae09109c 100644
--- a/sys/alpha/include/pcpu.h
+++ b/sys/alpha/include/pcpu.h
@@ -61,6 +61,7 @@ struct globaldata {
 
 	u_int		gd_astpending;
 	SLIST_ENTRY(globaldata) gd_allcpu;
+	int		gd_witness_spin_check;
 #ifdef KTR_PERCPU
 	volatile int	gd_ktr_idx;		/* Index into trace table */
 	char		*gd_ktr_buf;
diff --git a/sys/powerpc/include/globaldata.h b/sys/powerpc/include/globaldata.h
index b246bb1fb70..361ae09109c 100644
--- a/sys/powerpc/include/globaldata.h
+++ b/sys/powerpc/include/globaldata.h
@@ -61,6 +61,7 @@ struct globaldata {
 
 	u_int		gd_astpending;
 	SLIST_ENTRY(globaldata) gd_allcpu;
+	int		gd_witness_spin_check;
 #ifdef KTR_PERCPU
 	volatile int	gd_ktr_idx;		/* Index into trace table */
 	char		*gd_ktr_buf;
diff --git a/sys/powerpc/include/globals.h b/sys/powerpc/include/globals.h
index b9e75fc5c58..970ef683495 100644
--- a/sys/powerpc/include/globals.h
+++ b/sys/powerpc/include/globals.h
@@ -58,6 +58,7 @@ register struct globaldata *globalp __asm__("$8");
 #define	switchtime	PCPU_GET(switchtime)
 #define	switchticks	PCPU_GET(switchticks)
 #define cpuid		PCPU_GET(cpuno)
+#define	witness_spin_check	PCPU_GET(witness_spin_check)
 
 #endif	/* _KERNEL */
 
diff --git a/sys/powerpc/include/pcpu.h b/sys/powerpc/include/pcpu.h
index b246bb1fb70..361ae09109c 100644
--- a/sys/powerpc/include/pcpu.h
+++ b/sys/powerpc/include/pcpu.h
@@ -61,6 +61,7 @@ struct globaldata {
 
 	u_int		gd_astpending;
 	SLIST_ENTRY(globaldata) gd_allcpu;
+	int		gd_witness_spin_check;
 #ifdef KTR_PERCPU
 	volatile int	gd_ktr_idx;		/* Index into trace table */
 	char		*gd_ktr_buf;