Symbol: find_overflow_devnum
sys/ofed/drivers/infiniband/core/ib_ucm.c
1271
devnum = find_overflow_devnum();
sys/ofed/drivers/infiniband/core/ib_user_mad.c
1169
devnum = find_overflow_devnum(device);