Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/scsi/libfc/fc_fcp.c fc_fcp_complete_locked() -> fc_seq_send()

Type Parameter Key Value
PARAM_VALUE 1 sp 4096-ptr_max
PARAM_VALUE 1 sp->cnt 0
PARAM_VALUE 1 sp->ssb_stat 0
PARAM_VALUE 2 fp 4096-ptr_max
BUF_SIZE 1 sp 12
BUF_SIZE 2 fp 0-s32max
BUF_SIZE 2 fp 0-s32max
DATA_SOURCE 1 sp r fc_seq_start_next
DATA_SOURCE 2 fp r fc_fcp_frame_alloc
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &fsp->scsi_pkt_lock
LOCK2 bh
TYPE_LOCK (struct fc_fcp_pkt)->scsi_pkt_lock

drivers/scsi/libfc/fc_fcp.c fc_fcp_send_data() -> fc_seq_send()

Type Parameter Key Value
PARAM_VALUE 0 lport 4096-ptr_max
PARAM_VALUE 0 lport->lso_max 0-u32max
PARAM_VALUE 0 lport->state 14
PARAM_VALUE 1 sp 4096-ptr_max
PARAM_VALUE 1 sp->ssb_stat 0
PARAM_VALUE 2 fp 4096-ptr_max
BUF_SIZE 1 sp 12
BUF_SIZE 2 fp 0-s32max
BUF_SIZE 2 fp 0-s32max
DATA_SOURCE 1 sp r fc_seq_start_next
PREEMPT_ADD
USER_DATA 2 fp->skb.len 0-u32max[c][u]
USER_PTR 2 fp->skb.data
LOCK2 &fsp->scsi_pkt_lock
LOCK2 bh
TYPE_LOCK (struct fc_fcp_pkt)->scsi_pkt_lock

drivers/target/tcm_fc/tfc_io.c ft_queue_data_in() -> fc_seq_send()

Type Parameter Key Value
PARAM_VALUE 1 sp 4096-ptr_max
PARAM_VALUE 1 sp->ssb_stat 0
PARAM_VALUE 2 fp 4096-ptr_max
PARAM_VALUE 2 fp->skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 2 fp->skb.cb 4096-ptr_max
PARAM_VALUE 2 fp->skb.data->fh_ox_id 0-u16max
PARAM_VALUE 2 fp->skb.data->fh_r_ctl 0-255
PARAM_VALUE 2 fp->skb.data->fh_rx_id 0-u16max
PARAM_VALUE 2 fp->skb.data->fh_seq_cnt 0-u16max
PARAM_VALUE 2 fp->skb.data->fh_seq_id 0-255
PARAM_VALUE 2 fp->skb.data->fh_type 0-255
PARAM_VALUE 2 fp->skb.sk->__sk_common.skc_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 2 fp->skb.sk->__sk_common.skc_net.net->refcnt_tracker.dead 1
PARAM_VALUE 2 fp->skb.sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 2 fp->skb.sk->ns_tracker->dead 0-1
PARAM_VALUE 2 fp->skb.sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 2 fp->skb.sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 2 fp->skb.sk->sk_callback_lock.owner (-1)
PARAM_VALUE 2 fp->skb.sk->sk_callback_lock.owner_cpu 4294967295
PARAM_VALUE 2 fp->skb.sk->sk_callback_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 2 fp->skb.sk->sk_callback_lock.raw_lock.wlocked 0
PARAM_VALUE 2 fp->skb.sk->sk_rcu.next 0
BUF_SIZE 1 sp 12
BUF_SIZE 2 fp 0-s32max
BUF_SIZE 2 fp 0-s32max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 fp->skb.len
USER_PTR 2 fp->skb.data
HALF_LOCKED2 &pool->lock

drivers/target/tcm_fc/tfc_cmd.c ft_queue_status() -> fc_seq_send()

Type Parameter Key Value
PARAM_VALUE 1 sp 4096-ptr_max
PARAM_VALUE 1 sp->cnt 0
PARAM_VALUE 1 sp->ssb_stat 0
PARAM_VALUE 2 fp 4096-ptr_max
BUF_SIZE 1 sp 12
BUF_SIZE 2 fp 0-s32max
BUF_SIZE 2 fp 0-s32max
DATA_SOURCE 1 sp r fc_seq_start_next
DATA_SOURCE 2 fp r fc_frame_alloc
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 sp 1-u64max
PARAM_VALUE 2 fp 4096-ptr_max
PARAM_VALUE 2 fp->skb.cb 4096-ptr_max
PARAM_VALUE 2 fp->skb.data 4096-ptr_max
PARAM_VALUE 2 fp->skb.data->fh_cs_ctl 0
PARAM_VALUE 2 fp->skb.data->fh_df_ctl 0
PARAM_VALUE 2 fp->skb.data->fh_ox_id 0-u16max
PARAM_VALUE 2 fp->skb.data->fh_parm_offset 0
PARAM_VALUE 2 fp->skb.data->fh_r_ctl 7,35
PARAM_VALUE 2 fp->skb.data->fh_rx_id 0-u16max
PARAM_VALUE 2 fp->skb.data->fh_seq_cnt 0-u16max
PARAM_VALUE 2 fp->skb.data->fh_seq_id 0-255
PARAM_VALUE 2 fp->skb.data->fh_type 0-255
PARAM_VALUE 2 *fp->skb.data->fh_d_id 0-255
PARAM_VALUE 2 *fp->skb.data->fh_s_id 0-255
BUF_SIZE 2 fp 0-s32max
BUF_SIZE 2 fp 0-s32max
DATA_SOURCE 0 lport $0
DATA_SOURCE 2 fp r fc_frame_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/target/tcm_fc/tfc_cmd.c ft_write_pending() -> fc_seq_send()

Type Parameter Key Value
PARAM_VALUE 1 sp 4096-ptr_max
PARAM_VALUE 1 sp->cnt 0
PARAM_VALUE 1 sp->ssb_stat 0
PARAM_VALUE 2 fp 4096-ptr_max
BUF_SIZE 1 sp 12
BUF_SIZE 2 fp 0-s32max
BUF_SIZE 2 fp 0-s32max
DATA_SOURCE 1 sp r fc_seq_start_next
DATA_SOURCE 2 fp r fc_frame_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock