Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_iptfs.c iptfs_input_ordered() -> __input_process_payload()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->mode_cbs->input 2971371899429060608
PARAM_VALUE 0 x->mode_data 4096-ptr_max
PARAM_VALUE 0 *x->replay_esn->bmp 0-4294967295
PARAM_VALUE 2 skbseq 5021221164563156992
PARAM_VALUE 2 skbseq->upper_offset 1-u32max
PARAM_VALUE 3 sublist 3835606720120995840
PARAM_VALUE 3 sublist->next 3835606720120995840
PARAM_VALUE 3 sublist->prev 4096-ptr_max
CAPPED_DATA 0 x->xs_net.net 1
DATA_SOURCE 0 x $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 data 4-65599[c]
NO_OVERFLOW_SIMPLE 0 x->curlft.bytes
NO_OVERFLOW_SIMPLE 2 skbseq->upper_offset
UNITS 1 data unit_byte