Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx4/mad.c create_pv_resources() -> mlx4_ib_alloc_pv_bufs()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->has_smi s32min-(-1),1-s32max
PARAM_VALUE 0 ctx->state 1
PARAM_VALUE 1 qp_type 0
PARAM_VALUE 2 is_tun 0-1
DATA_SOURCE 0 ctx $4
DATA_SOURCE 2 is_tun $3
FUZZY_MAX 0 ctx->has_smi 1
HARD_MAX 2 is_tun 1
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx4/mad.c create_pv_resources() -> mlx4_ib_alloc_pv_bufs()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->state 1
PARAM_VALUE 1 qp_type 1
PARAM_VALUE 2 is_tun 0-1
DATA_SOURCE 0 ctx $4
DATA_SOURCE 2 is_tun $3
HARD_MAX 2 is_tun 1
RX_PATH
TASK_NOT_RUNNING