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