Symbol: c4iw_register_device
drivers/infiniband/hw/cxgb4/device.c
1236
INIT_WORK(&ctx->reg_work, c4iw_register_device);
drivers/infiniband/hw/cxgb4/iw_cxgb4.h
982
void c4iw_register_device(struct work_struct *work);