Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 773f1887dd14935317366876abfc08b830ea221c)
+++ kernel/generic/src/mm/as.c	(revision 366b1487904fb7d5bcae4f05bf582be69eb35bf7)
@@ -1987,5 +1987,4 @@
 sysarg_t sys_as_area_destroy(uintptr_t address)
 {
-	return EOK;
 	return (sysarg_t) as_area_destroy(AS, address);
 }