Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mellanox/mlx5/core/cmd.c mlx5_cmd_invoke() -> cmd_alloc_ent()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->state 1
PARAM_VALUE 0 cmd->token 1-255
PARAM_VALUE 1 in 4096-ptr_max
PARAM_VALUE 1 in->next->buf->token 1-255
PARAM_VALUE 1 *in->first.data 0-4294967295
PARAM_VALUE 1 *in->next->buf->data 0-255
PARAM_VALUE 2 out 4096-ptr_max
PARAM_VALUE 2 out->next 0,4096-ptr_max
PARAM_VALUE 2 out->next->buf 4096-ptr_max
PARAM_VALUE 2 out->next->next 0,4096-ptr_max
PARAM_VALUE 6 context 0,4096-ptr_max
PARAM_VALUE 7 page_queue 0-1
BUF_SIZE 0 cmd 1640
BUF_SIZE 1 in (-1),56
BUF_SIZE 1 in (-1),56
BUF_SIZE 2 out 56
BUF_SIZE 3 uout (-1)-2097152
BUF_SIZE 3 uout (-1)-2097152
CAPPED_DATA 0 cmd->allowed_opcode 1
CAPPED_DATA 1 in->len 1
DATA_SOURCE 1 in $1
DATA_SOURCE 2 out $2
DATA_SOURCE 3 uout $3
DATA_SOURCE 4 uout_size $4
DATA_SOURCE 5 cbk $5
DATA_SOURCE 6 context $6
DATA_SOURCE 7 page_queue $7
PARAM_COMPARE 3 uout == $4
BIT_INFO 1 in->len 0x0,0x7fffffff
BIT_INFO 2 out->len 0x0,0x7fffffff
NOSPEC 1 in->len
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 cmd->vars.log_stride 0-15
HOST_DATA 0 cmd->vars.log_sz 0-15[c]
USER_DATA 1 in->len 17-2097152[c]
USER_DATA 2 out->len 17-2097152[c]
USER_DATA 4 uout_size 17-2097152[c][u]
USER_DATA 7 page_queue 0-1
NO_OVERFLOW_SIMPLE 1 in->len
NO_OVERFLOW_SIMPLE 2 out->len
UNITS 4 uout_size unit_byte
BYTE_COUNT 3 ==uout4 8050
USER_PTR 3 uout
HALF_LOCKED2 &dev->cmd.vars.throttle_sem
HALF_LOCKED2 &dev->cmd.vars.unprivileged_sem
HALF_LOCKED2 &dev->intf_state_mutex
HALF_LOCKED2 &dev->mutex