Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/core/cma.c cma_bind_loopback() -> ib_get_cached_port_state()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 2 port_state 5246863822581616640
CAPPED_DATA 1 port_num 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &lock
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/infiniband/core/cma.c cma_resolve_ib_dev() -> ib_get_cached_port_state()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->cache_lock.dep_map->name 0-255
PARAM_VALUE 0 device->port_data 4096-ptr_max
PARAM_VALUE 2 port_state 4782089409226846208
CAPPED_DATA 1 port_num 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &lock
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rx_queue_mutex