i40iw_device_init_uk 5128 drivers/infiniband/hw/i40iw/i40iw_ctrl.c i40iw_device_init_uk(&dev->dev_uk); i40iw_device_init_uk 404 drivers/infiniband/hw/i40iw/i40iw_user.h void i40iw_device_init_uk(struct i40iw_dev_uk *dev);