Index: kernel/generic/include/adt/cht.h
===================================================================
--- kernel/generic/include/adt/cht.h	(revision 7c3fb9bd77e4d2f6c10517a052e567f176fa91ee)
+++ kernel/generic/include/adt/cht.h	(revision 077842c7d8763d465a4900cd0693e65cd9338385)
@@ -36,4 +36,5 @@
 #define KERN_CONC_HASH_TABLE_H_
 
+#include <atomic.h>
 #include <stdint.h>
 #include <adt/list.h>