Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/ulp/isert/ib_isert.c isert_connect_release() -> isert_device_put()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/isert/ib_isert.c isert_connect_request() -> isert_device_put()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->ib_device 4096-ptr_max
BUF_SIZE 0 device (-1),56
BUF_SIZE 0 device (-1),56
DATA_SOURCE 0 device r isert_device_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 device->ib_device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 device->ib_device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 device->ib_device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 device->pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 device->pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 device->pd->device->phys_port_cnt
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex