1// SPDX-License-Identifier: GPL-2.0-only
2/* identifiers for device / performance-differentiated memory regions */
3#include <linux/idr.h>
4#include <linux/types.h>
5#include <linux/memregion.h>
6
7static DEFINE_IDA(memregion_ids);
8
9int memregion_alloc(gfp_t gfp)
10{
11	return ida_alloc(&memregion_ids, gfp);
12}
13EXPORT_SYMBOL(memregion_alloc);
14
15void memregion_free(int id)
16{
17	ida_free(&memregion_ids, id);
18}
19EXPORT_SYMBOL(memregion_free);
20