Index: generic/src/syscall/syscall.c
===================================================================
--- generic/src/syscall/syscall.c	(revision 2bb8648e46a151efe13c3bb8385ced857a95758d)
+++ generic/src/syscall/syscall.c	(revision 2666daa18c67bb71e7f781004b1f7ca11c2ba3aa)
@@ -85,4 +85,5 @@
 	sys_as_area_create,
 	sys_as_area_resize,
+	sys_as_area_destroy,
 	sys_as_area_accept,
 	sys_as_area_send,