Symbol: IB_DEV_UNREGISTERED
sys/ofed/drivers/infiniband/core/ib_device.c
177
if (dev->reg_state == IB_DEV_UNREGISTERED) {
sys/ofed/drivers/infiniband/core/ib_device.c
239
WARN_ON(device->reg_state != IB_DEV_UNREGISTERED &&
sys/ofed/drivers/infiniband/core/ib_device.c
437
device->reg_state = IB_DEV_UNREGISTERED;