user_frame_free 61 kernel/generic/src/mm/backend_user.c static void user_frame_free(as_area_t *, uintptr_t, uintptr_t); user_frame_free 73 kernel/generic/src/mm/backend_user.c .frame_free = user_frame_free,