Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 8be8cfa20aad57a15e51e9a83cf62a49af0b59a4)
+++ kernel/generic/include/mm/as.h	(revision b1349e0e6dd0ceaac24eaa1e363afe9e5d81fffc)
@@ -147,5 +147,5 @@
 extern as_t *as_create(int flags);
 extern void as_destroy(as_t *as);
-extern void as_switch(as_t *old, as_t *new);
+extern void as_switch(as_t *old, as_t *replace);
 extern int as_page_fault(uintptr_t page, pf_access_t access, istate_t *istate);