Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

net/ipv6/esp6.c esp6_output() -> xfrm_state_mtu()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->data 4096-ptr_max
PARAM_VALUE 0 x->tfcpad 1-u32max
PARAM_VALUE 0 x->type 4096-ptr_max
PARAM_VALUE 0 x->type->flags 0,2,5,9
PARAM_VALUE 0 x->type->proto 4,41,43,50-51,60,108
CAPPED_DATA 1 mtu 1
DATA_SOURCE 0 x $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 x->curlft.bytes
UNITS 1 mtu unit_byte

net/ipv4/esp4.c esp_output() -> xfrm_state_mtu()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->data 4096-ptr_max
PARAM_VALUE 0 x->tfcpad 1-u32max
PARAM_VALUE 0 x->type 4096-ptr_max
PARAM_VALUE 0 x->type->flags 0,2,5,9
PARAM_VALUE 0 x->type->proto 4,41,43,50-51,60,108
CAPPED_DATA 1 mtu 1
DATA_SOURCE 0 x $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 x->curlft.bytes
UNITS 1 mtu unit_byte

net/xfrm/xfrm_device.c xfrm_dev_offload_ok() -> xfrm_state_mtu()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->type_offload 1-u64max
DATA_SOURCE 0 x $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 mtu unit_byte

net/xfrm/xfrm_policy.c xfrm_bundle_ok() -> xfrm_state_mtu()

Type Parameter Key Value
PARAM_VALUE 0 x->km.state 2
PARAM_VALUE 0 x->type->flags 0,2,5,9
PARAM_VALUE 0 x->type->proto 4,41,43,50-51,60,108
RX_PATH
TASK_NOT_RUNNING
UNITS 1 mtu unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read

net/xfrm/xfrm_policy.c xfrm_init_pmtu() -> xfrm_state_mtu()

Type Parameter Key Value
DATA_SOURCE 1 mtu r dst_mtu
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh