Changes in / [773f188:1d638a1] in mainline

File:

• kernel/generic/src/mm/as.c (modified) (1 diff)

kernel/generic/src/mm/as.c

@@ -1987 +1987 @@
 sysarg_t sys_as_area_destroy(uintptr_t address)
 {
-        return EOK;
         return (sysarg_t) as_area_destroy(AS, address);
 }