Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/iscsi/cxgbit/cxgbit_main.c cxgbit_uld_lro_rx_handler() -> cxgbit_lro_receive()

Type Parameter Key Value
PARAM_VALUE 0 csk 0,4096-ptr_max
PARAM_VALUE 1 op 73
PARAM_VALUE 2 rsp 4096-ptr_max
PARAM_VALUE 3 gl 0
PARAM_VALUE 4 lro_mgr 4096-ptr_max
PARAM_VALUE 5 napi 4096-ptr_max
BUF_SIZE 0 csk (-1),248,568,1080,1216
BUF_SIZE 0 csk (-1),248,568,1080,1216
DATA_SOURCE 0 csk r lookup_tid
DATA_SOURCE 2 rsp $1
DATA_SOURCE 4 lro_mgr $3
DATA_SOURCE 5 napi $4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/target/iscsi/cxgbit/cxgbit_main.c cxgbit_uld_lro_rx_handler() -> cxgbit_lro_receive()

Type Parameter Key Value
PARAM_VALUE 0 csk 0,4096-ptr_max
PARAM_VALUE 1 op 51,69,178
PARAM_VALUE 2 rsp 4096-ptr_max
PARAM_VALUE 3 gl 4133918178423447552,8506661093009514496
PARAM_VALUE 3 gl->va 4096-ptr_max
PARAM_VALUE 4 lro_mgr 4096-ptr_max
PARAM_VALUE 5 napi 4096-ptr_max
BUF_SIZE 0 csk (-1),248,568,1080,1216
BUF_SIZE 0 csk (-1),248,568,1080,1216
CAPPED_DATA 1 op 1
CAPPED_DATA 3 *gl->va 1
DATA_SOURCE 0 csk r lookup_tid
DATA_SOURCE 2 rsp $1
DATA_SOURCE 3 gl $2
DATA_SOURCE 4 lro_mgr $3
DATA_SOURCE 5 napi $4
PARAM_COMPARE 3 *gl->va == $1
BIT_INFO 1 op 0x0,0xf7
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 gl->tot_len 0-u32max
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read