// 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);