// 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) { … } EXPORT_SYMBOL(…); void memregion_free(int id) { … } EXPORT_SYMBOL(…);