as_area_destroy 1090 kernel/generic/src/mm/as.c errno_t as_area_destroy(as_t *as, uintptr_t address) as_area_destroy 90 uspace/lib/c/generic/as.c errno_t as_area_destroy(void *address)