sys_as_area_destroy 380 kernel/generic/include/mm/as.h extern sys_errno_t sys_as_area_destroy(uintptr_t); sys_as_area_destroy 87 kernel/generic/src/syscall/syscall.c [SYS_AS_AREA_DESTROY] = (syshandler_t) sys_as_area_destroy,HelenOS homepage, sources at GitHub