Index: kernel/genarch/include/mm/as_ht.h
===================================================================
--- kernel/genarch/include/mm/as_ht.h	(revision 80bcaed11c2e767559657092d6c13d1a7fdd449c)
+++ kernel/genarch/include/mm/as_ht.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -38,5 +38,5 @@
 #include <mm/mm.h>
 #include <adt/list.h>
-#include <arch/types.h>
+#include <typedefs.h>
 
 typedef struct {