Symbol: RANDOM_SKIP
drivers/infiniband/hw/cxgb4/id_table.c
57
alloc->last += get_random_u32_below(RANDOM_SKIP);
drivers/infiniband/hw/cxgb4/id_table.c
88
alloc->last = get_random_u32_below(RANDOM_SKIP);