Index: kernel/arch/amd64/include/mm/as.h
===================================================================
--- kernel/arch/amd64/include/mm/as.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
+++ kernel/arch/amd64/include/mm/as.h	(revision 57da95c482edb0cea2f17139f72f308e960ddd0f)
@@ -49,4 +49,5 @@
 
 #define as_install_arch(as)
+#define as_deinstall_arch(as)
 #define as_invalidate_translation_cache(as, page, cnt)