Index: generic/include/mm/as.h
===================================================================
--- generic/include/mm/as.h	(revision 127c957bfa9ed3a3adc8ab81c01457165f16578d)
+++ generic/include/mm/as.h	(revision 3bf597623745263fdb3d4abbb40c083b7cec3cb0)
@@ -169,6 +169,6 @@
 extern void as_switch(as_t *old, as_t *new);
 extern void as_free(as_t *as);
-extern int as_area_share(as_t *src_as, __address src_base, size_t acc_size,
-	__address dst_base, int dst_flags_mask);
+int as_area_share(as_t *src_as, __address src_base, size_t acc_size,
+		  as_t *dst_as, __address dst_base, int dst_flags_mask);
 extern size_t as_get_size(__address base);
 extern int used_space_insert(as_area_t *a, __address page, count_t count);
Index: generic/include/mm/slab.h
===================================================================
--- generic/include/mm/slab.h	(revision 127c957bfa9ed3a3adc8ab81c01457165f16578d)
+++ generic/include/mm/slab.h	(revision 3bf597623745263fdb3d4abbb40c083b7cec3cb0)
@@ -39,5 +39,5 @@
 
 /** Maximum size to be allocated by malloc */
-#define SLAB_MAX_MALLOC_W 17
+#define SLAB_MAX_MALLOC_W 18
 
 /** Initial Magazine size (TODO: dynamically growing magazines) */