Symbol: IB_DEV_REGISTERED
sys/ofed/drivers/infiniband/core/ib_device.c
176
WARN_ON(dev->reg_state == IB_DEV_REGISTERED);
sys/ofed/drivers/infiniband/core/ib_device.c
374
device->reg_state = IB_DEV_REGISTERED;