Index: kernel/arch/amd64/include/mm/as.h
===================================================================
--- kernel/arch/amd64/include/mm/as.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
+++ kernel/arch/amd64/include/mm/as.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
@@ -45,5 +45,9 @@
 #define USTACK_ADDRESS_ARCH	(USER_ADDRESS_SPACE_END_ARCH-(PAGE_SIZE-1))
 
+typedef struct {
+} as_arch_t;
+
 #define as_install_arch(as)
+#define as_invalidate_translation_cache(as, page, cnt)
 
 extern void as_arch_init(void);