Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/device.c ib_device_set_netdev() -> alloc_port_data()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->port_data->cache.last_port_state 1,4
PARAM_VALUE 0 device->port_data->immutable.pkey_tbl_len 0-u16max
BUF_SIZE 0 device (-1),5000
BUF_SIZE 0 device (-1),5000
CAPPED_DATA 0 device 1
DATA_SOURCE 0 device $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 device->phys_port_cnt
HALF_LOCKED2 &esw->offloads.reps_lock
HALF_LOCKED2 global &be_adapter_list_lock
HALF_LOCKED2 global &bnxt_re_mutex
HALF_LOCKED2 global &link_ops_rwsem
HALF_LOCKED2 global &pvrdma_device_list_lock
HALF_LOCKED2 global &qedr_dev_list_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &usnic_ib_ibdev_list_lock

drivers/infiniband/core/device.c setup_port_data() -> alloc_port_data()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->dev.kobj->name 0-255
PARAM_VALUE 0 device->dev.kobj.name 1-u64max
PARAM_VALUE 0 device->dma_device 0,4096-ptr_max
PARAM_VALUE 0 device->port_data->cache.last_port_state 1,4
PARAM_VALUE 0 device->port_data->immutable.pkey_tbl_len 0-u16max
PARAM_VALUE 0 device->port_data->port_counter.mode.mode 0-2
BUF_SIZE 0 device->dev.parent (-1),1616
BUF_SIZE 0 device->driver_def (-1),32,112
CAPPED_DATA 0 device 1
DATA_SOURCE 0 device $0
STR_LEN 0 device (-1),6-9,11-12
STR_LEN 0 device (-1),6-9,11-12
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 device->phys_port_cnt 0-255
NO_OVERFLOW_SIMPLE 0 device->num_comp_vectors
HALF_LOCKED2 &dev->cmd.poll_sem
HALF_LOCKED2 global &be_adapter_list_lock
HALF_LOCKED2 global &bnxt_re_mutex
HALF_LOCKED2 global &link_ops_rwsem
HALF_LOCKED2 global &mthca_device_mutex
HALF_LOCKED2 global &qedr_dev_list_lock
HALF_LOCKED2 global &usnic_ib_ibdev_list_lock