Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/tcm_fc/tfc_sess.c ft_recv() -> ft_recv_req()

Type Parameter Key Value
PARAM_VALUE 0 sess 4096-ptr_max
PARAM_VALUE 0 sess->port_id 0-16777215
PARAM_VALUE 1 fp 4096-ptr_max
PARAM_VALUE 1 fp->skb.cb 4096-ptr_max
PARAM_VALUE 1 fp->skb.data 4096-ptr_max
PARAM_VALUE 1 fp->skb.data->fh_rx_id 0-u16max
PARAM_VALUE 1 fp->skb.data->fh_type 1-255
BUF_SIZE 1 fp (-1)-s32max
BUF_SIZE 1 fp (-1)-s32max
CAPPED_DATA 0 sess->port_id 1
CAPPED_DATA 1 fp->skb.data->fh_rx_id 1
DATA_SOURCE 0 sess r ft_sess_get
DATA_SOURCE 1 fp $1
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock