#include <linux/module.h>
static unsigned int tests_run;
static unsigned int tests_passed;
void ida_dump(struct ida *ida) { }
#define IDA_BUG_ON(ida, x) do { \
static void ida_check_alloc(struct ida *ida)
for (i = 0; i < 10000; i++)
IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != i);
for (i = 0; i < 3; i++) {
id = ida_alloc(ida, GFP_KERNEL);
IDA_BUG_ON(ida, id != 10000);
for (i = 0; i < 5000; i++)
IDA_BUG_ON(ida, ida_alloc_min(ida, 5000, GFP_KERNEL) != 10001);
IDA_BUG_ON(ida, !ida_is_empty(ida));
static void ida_check_destroy_1(struct ida *ida, unsigned int base)
IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) != base);
IDA_BUG_ON(ida, ida_is_empty(ida));
IDA_BUG_ON(ida, !ida_is_empty(ida));