Defined in 2 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/scsi/snic/snic_io.c svnic_cq_service() -> cq_desc_dec()

Type Parameter Key Value
PARAM_VALUE 0 desc_arg 4096-ptr_max
PARAM_VALUE 1 type 7015457294032711680
PARAM_VALUE 2 color 5776423606304661504
PARAM_VALUE 3 q_number 4533368908839452672
PARAM_VALUE 4 completed_index 5027429578045071360
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/snic/snic_io.c svnic_cq_service() -> cq_desc_dec()

Type Parameter Key Value
PARAM_VALUE 0 desc_arg 4096-ptr_max
PARAM_VALUE 1 type 7015457294032711680
PARAM_VALUE 1 *type 0-15
PARAM_VALUE 2 color 5776423606304661504
PARAM_VALUE 2 *color 0-1
PARAM_VALUE 3 q_number 4533368908839452672
PARAM_VALUE 3 *q_number 0-1023
PARAM_VALUE 4 completed_index 5027429578045071360
PARAM_VALUE 4 *completed_index 0-4095
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/fnic/fnic_fcs.c cq_enet_rq_desc_dec() -> cq_desc_dec()

Type Parameter Key Value
PARAM_VALUE 0 desc_arg 4096-ptr_max
PARAM_VALUE 1 type 6681221772152434688
PARAM_VALUE 1 *type 3
PARAM_VALUE 2 color 1537106909928484864
PARAM_VALUE 2 *color 0-1
PARAM_VALUE 3 q_number 1006509706070216704
PARAM_VALUE 3 *q_number 0-1023
PARAM_VALUE 4 completed_index 6203013349412724736
PARAM_VALUE 4 *completed_index 0-4095
DATA_SOURCE 0 desc_arg $0
DATA_SOURCE 1 type $1
DATA_SOURCE 2 color $2
DATA_SOURCE 3 q_number $3
DATA_SOURCE 4 completed_index $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/fnic/fnic_fcs.c cq_fcp_rq_desc_dec() -> cq_desc_dec()

Type Parameter Key Value
PARAM_VALUE 0 desc_arg 4096-ptr_max
PARAM_VALUE 1 type 6681221772152434688
PARAM_VALUE 1 *type 4
PARAM_VALUE 2 color 1537106909928484864
PARAM_VALUE 2 *color 0-1
PARAM_VALUE 3 q_number 1006509706070216704
PARAM_VALUE 3 *q_number 0-1023
PARAM_VALUE 4 completed_index 6203013349412724736
PARAM_VALUE 4 *completed_index 0-4095
DATA_SOURCE 0 desc_arg $0
DATA_SOURCE 1 type $1
DATA_SOURCE 2 color $2
DATA_SOURCE 3 q_number $3
DATA_SOURCE 4 completed_index $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/fnic/fnic_fcs.c fnic_cq_service() -> cq_desc_dec()

Type Parameter Key Value
PARAM_VALUE 0 desc_arg 4096-ptr_max
PARAM_VALUE 1 type 375172107706171392
PARAM_VALUE 2 color 4528865817981566976
PARAM_VALUE 3 q_number 8839081200146649088
PARAM_VALUE 4 completed_index 5479468460828180480
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/fnic/fnic_fcs.c fnic_cq_service() -> cq_desc_dec()

Type Parameter Key Value
PARAM_VALUE 0 desc_arg 4096-ptr_max
PARAM_VALUE 1 type 375172107706171392
PARAM_VALUE 1 *type 0-15
PARAM_VALUE 2 color 4528865817981566976
PARAM_VALUE 2 *color 0-1
PARAM_VALUE 3 q_number 8839081200146649088
PARAM_VALUE 3 *q_number 0-1023
PARAM_VALUE 4 completed_index 5479468460828180480
PARAM_VALUE 4 *completed_index 0-4095
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/fnic/fnic_fcs.c fnic_rq_cmpl_frame_recv() -> cq_desc_dec()

Type Parameter Key Value
PARAM_VALUE 0 desc_arg 4096-ptr_max
PARAM_VALUE 1 type 6681221772152434688
PARAM_VALUE 2 color 1537106909928484864
PARAM_VALUE 3 q_number 1006509706070216704
PARAM_VALUE 4 completed_index 6203013349412724736
DATA_SOURCE 0 desc_arg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL