diff --git a/sys/amd64/include/counter.h b/sys/amd64/include/counter.h
index bde78ccacd7..38c5a3d1205 100644
--- a/sys/amd64/include/counter.h
+++ b/sys/amd64/include/counter.h
@@ -36,6 +36,7 @@
 #define __MACHINE_COUNTER_H__
 
 #include <sys/pcpu.h>
+#include <sys/kassert.h>
 
 #define	EARLY_COUNTER	(void *)__offsetof(struct pcpu, pc_early_dummy_counter)