Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/tcm_fc/tfc_cmd.c ft_recv_cmd() -> ft_send_resp_status()

Type Parameter Key Value
PARAM_VALUE 1 rx_fp 4096-ptr_max
PARAM_VALUE 1 rx_fp->skb.cb 4096-ptr_max
PARAM_VALUE 1 rx_fp->skb.data 4096-ptr_max
PARAM_VALUE 1 rx_fp->skb.data->fh_rx_id 0-u16max
PARAM_VALUE 1 rx_fp->skb.data->fh_type 1-255
PARAM_VALUE 2 status 8
PARAM_VALUE 3 code 0
BUF_SIZE 1 rx_fp (-1)-s32max
BUF_SIZE 1 rx_fp (-1)-s32max
DATA_SOURCE 1 rx_fp $1
NOSPEC 1 rx_fp->skb.data->fh_rx_id
RX_PATH
NOCHECK_CALL
USER_DATA 1 rx_fp->skb.data->fh_rx_id 0-u16max[u]
HALF_LOCKED2 &pool->lock

drivers/target/tcm_fc/tfc_cmd.c ft_send_resp_code() -> ft_send_resp_status()

Type Parameter Key Value
PARAM_VALUE 2 status 0
PARAM_VALUE 3 code 0,2,4-5,9
DATA_SOURCE 3 code $1
FUZZY_MAX 3 code 9
HARD_MAX 3 code 9
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL