// SPDX-License-Identifier: GPL-2.0-only /* identifiers for device / performance-differentiated memory regions */ #include <linux/idr.h> #include <linux/types.h> #include <linux/memregion.h> static DEFINE_IDA(memregion_ids); int memregion_alloc(gfp_t gfp) { return ida_alloc(&memregion_ids, gfp); } EXPORT_SYMBOL(memregion_alloc); void memregion_free(int id) { ida_free(&memregion_ids, id); } EXPORT_SYMBOL(memregion_free);