1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2018 Samsung Electronics Co., Ltd.
8 int ksmbd_acquire_smb2_tid(struct ida *ida)
10 return ida_alloc_range(ida, 1, 0xFFFFFFFE, GFP_KERNEL);
13 int ksmbd_acquire_smb2_uid(struct ida *ida)
17 id = ida_alloc_min(ida, 1, GFP_KERNEL);
19 id = ida_alloc_min(ida, 1, GFP_KERNEL);
24 int ksmbd_acquire_async_msg_id(struct ida *ida)
26 return ida_alloc_min(ida, 1, GFP_KERNEL);
29 int ksmbd_acquire_id(struct ida *ida)
31 return ida_alloc(ida, GFP_KERNEL);
34 void ksmbd_release_id(struct ida *ida, int id)