Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_user.c copy_to_user_state_extra() -> (struct xfrm_mode_cbs)->copy_to_user()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->aalg 0,4096-ptr_max
PARAM_VALUE 0 x->aead 0,4096-ptr_max
PARAM_VALUE 0 x->ealg 0,4096-ptr_max
PARAM_VALUE 0 x->mode_cbs 4096-ptr_max
PARAM_VALUE 0 x->mode_cbs->clone_state 7975205731614285824
PARAM_VALUE 0 x->mode_cbs->copy_to_user 1853556369833455616
PARAM_VALUE 0 x->mode_cbs->init_state 894039719160782848
PARAM_VALUE 0 x->mode_cbs->input 2971371899429060608
PARAM_VALUE 0 x->mode_cbs->owner 0
PARAM_VALUE 0 x->mode_cbs->sa_len 4096-ptr_max
PARAM_VALUE 0 x->mode_cbs->user_init 1162222067439800320
PARAM_VALUE 0 x->replay_esn 0,4096-ptr_max
PARAM_VALUE 0 x->security 0,4096-ptr_max
PARAM_VALUE 0 x->type->flags 0,2,5,9
PARAM_VALUE 0 x->type->owner 0
PARAM_VALUE 0 x->type->proto 4,41,43,50-51,60,108
PARAM_VALUE 0 x->type_offload->encap 3026618011163508736,7531102084703621120
PARAM_VALUE 0 x->type_offload->input_tail 677404555923771392,5422576399545094144
PARAM_VALUE 0 x->type_offload->owner 0
PARAM_VALUE 0 x->type_offload->proto 50
PARAM_VALUE 0 x->type_offload->xmit 3324157048469573632,4206418349158756352
PARAM_VALUE 0 x->xso.dev 0,4096-ptr_max
PARAM_VALUE 0 *x->replay_esn->bmp 0-4294967295
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 0 x (-1),1-s32max
BUF_SIZE 0 x (-1),1-s32max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 x $0
DATA_SOURCE 1 skb $2
CONTAINER 0 -40-944+0 $(-1)
NOSPEC 0 x->id.spi
NOSPEC 0 x->inner_mode.family
NOSPEC 0 x->km.seq
NOSPEC 0 x->outer_mode.family
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 x->aalg->alg_key_len 0-u32max
USER_DATA 0 x->curlft.add_time 0-u64max
USER_DATA 0 x->curlft.bytes 0-u64max
USER_DATA 0 x->curlft.packets 0-u64max
USER_DATA 0 x->curlft.use_time 0-u64max
USER_DATA 0 x->id.spi 1-65790[c]
USER_DATA 0 x->inner_mode.family 2,10
USER_DATA 0 x->km.seq 0-u32max
USER_DATA 0 x->lft.hard_byte_limit 1-u64max
USER_DATA 0 x->lft.hard_packet_limit 1-u64max
USER_DATA 0 x->lft.soft_byte_limit 0-u64max[c]
USER_DATA 0 x->lft.soft_packet_limit 0-u64max
USER_DATA 0 x->mark.v 0-u32max[c]
USER_DATA 0 x->outer_mode.family 10[c]
USER_DATA 0 x->preplay.bitmap 0-u32max
USER_DATA 0 x->preplay.oseq 0-u32max
USER_DATA 0 x->preplay.seq 0-u32max
USER_DATA 0 x->preplay_esn->bmp_len 0-u32max
USER_DATA 0 x->preplay_esn->oseq 0-u32max
USER_DATA 0 x->preplay_esn->oseq_hi 0-u32max
USER_DATA 0 x->preplay_esn->replay_window 0-u32max
USER_DATA 0 x->preplay_esn->seq 0-u32max
USER_DATA 0 x->preplay_esn->seq_hi 0-u32max
USER_DATA 0 x->replay.bitmap 0-u32max
USER_DATA 0 x->replay.oseq 0-u32max
USER_DATA 0 x->replay.seq 0-u32max
USER_DATA 0 x->replay_esn->bmp_len 0-u32max
USER_DATA 0 x->replay_esn->oseq 0-u32max
USER_DATA 0 x->replay_esn->oseq_hi 0-u32max
USER_DATA 0 x->replay_esn->replay_window 0-u32max
USER_DATA 0 x->replay_esn->seq 0-u32max
USER_DATA 0 x->replay_esn->seq_hi 0-u32max
USER_DATA 0 x->tunnel->id.daddr.a4 0-u32max
USER_DATA 0 x->tunnel->id.spi 0-u32max
USER_DATA 0 x->tunnel->inner_mode.family 2,10
USER_DATA 0 x->tunnel->mark.m 0-u32max
USER_DATA 0 x->tunnel->mark.v 0-u32max[c]
USER_DATA 0 x->tunnel->outer_mode.family 10[c]
USER_DATA 0 x->tunnel->props.saddr.a4 0-u32max
USER_DATA 0 x->tunnel->sel.daddr.a4 0-u32max
USER_DATA 0 x->tunnel->sel.dport 0-u16max
USER_DATA 0 x->tunnel->sel.dport_mask 0-u16max
USER_DATA 0 x->tunnel->sel.ifindex s32min-s32max
USER_DATA 0 x->tunnel->sel.prefixlen_d 0-255
USER_DATA 0 x->tunnel->sel.prefixlen_s 0-255
USER_DATA 0 x->tunnel->sel.proto 0-255
USER_DATA 0 x->tunnel->sel.saddr.a4 0-u32max
USER_DATA 0 x->tunnel->sel.sport 0-u16max
USER_DATA 0 x->tunnel->sel.sport_mask 0-u16max
USER_DATA 0 x->tunnel->sel.user 0-u32max
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &x->lock