HelenOS sources

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