Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/mlx4/main.c init_pkeys() -> mlx4_sync_pkey_table()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 slave 0-s32max
PARAM_VALUE 2 port 1-2147483646
PARAM_VALUE 3 i 0-s32max
PARAM_VALUE 4 val 0-255
CAPPED_DATA 0 dev->caps.num_ports 1
CAPPED_DATA 1 slave 1
CAPPED_DATA 2 port 1
CAPPED_DATA 3 i 1
FUZZY_MAX 3 i 0
PARAM_COMPARE 0 dev->caps.num_ports >= $2
PARAM_COMPARE 0 dev->persist->num_vfs >= $1
PARAM_COMPARE 1 slave <= $0->persist->num_vfs
PARAM_COMPARE 2 port <= $0->caps.num_ports
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 slave unit_array_size
UNITS 2 port unit_array_size

drivers/infiniband/hw/mlx4/sysfs.c store_port_pkey() -> mlx4_sync_pkey_table()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
NOCHECK_CALL
UNITS 1 slave unit_array_size
UNITS 2 port unit_array_size