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