user_destroy 55 kernel/generic/src/mm/backend_user.c static void user_destroy(as_area_t *); user_destroy 67 kernel/generic/src/mm/backend_user.c .destroy = user_destroy,