Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/device.c ib_get_device_fw_str() -> (struct ib_device_ops)->get_dev_fw_str()

Type Parameter Key Value
PARAM_VALUE 0 ibdev 4096-ptr_max
PARAM_VALUE 0 ibdev->ops.get_dev_fw_str 1-u64max
BUF_SIZE 1 str 32
BUF_SIZE 1 str 32
DATA_SOURCE 0 ibdev $0
DATA_SOURCE 1 str $1
CONTAINER 0 -128-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex