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 mlx4_ib_probe() -> mlx4_get_devlink_port()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 port 1-2147483646
CAPPED_DATA 0 dev->caps.num_ports 1
CAPPED_DATA 1 port 1
PARAM_COMPARE 0 dev->caps.num_ports >= $1
PARAM_COMPARE 1 port <= $0->caps.num_ports
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->caps.num_comp_vectors
UNITS 1 port unit_array_size

drivers/infiniband/hw/mlx4/main.c mlx4_ib_remove() -> mlx4_get_devlink_port()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 port 1-s32max
CAPPED_DATA 1 port 1
PARAM_COMPARE 0 dev->caps.num_ports >= $1
PARAM_COMPARE 1 port <= $0->caps.num_ports
RX_PATH
TASK_NOT_RUNNING
UNITS 1 port unit_array_size
HALF_LOCKED2 &dev->mutex

drivers/net/ethernet/mellanox/mlx4/en_netdev.c mlx4_en_init_netdev() -> mlx4_get_devlink_port()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 port 1-2147483646
CAPPED_DATA 0 dev->caps.num_ports 1
CAPPED_DATA 0 dev->persist->pdev->dev.cma_area->nranges 1
CAPPED_DATA 1 port 1
DATA_SOURCE 1 port $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 port unit_array_size