Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/key/af_key.c pfkey_send_notify() -> key_notify_sa()

Type Parameter Key Value
PARAM_VALUE 0 x 0,4096-ptr_max
PARAM_VALUE 0 x->mode_cbs->clone_state 7975205731614285824
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->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->ethtool_ops->rxfh_max_num_contexts 0,2,8,16,33
PARAM_VALUE 0 x->xso.dev->ethtool_ops->supported_coalesce_params 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563,595,597,1553,1587,1681,132625,135697,657041,677393,2029107,2097665,2300433,2300595,3653155,12583935,12584499,13239859,117440512,536872499,s32max
PARAM_VALUE 0 x->xso.real_dev->ethtool_ops->rxfh_max_num_contexts 0,2,8,16,33
PARAM_VALUE 0 x->xso.real_dev->ethtool_ops->supported_coalesce_params 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563,595,597,1553,1587,1681,132625,135697,657041,677393,2029107,2097665,2300433,2300595,3653155,12583935,12584499,13239859,117440512,536872499,s32max
PARAM_VALUE 0 *x->aalg->alg_key 0-255
PARAM_VALUE 0 *x->replay_esn->bmp 0-4294967295
PARAM_VALUE 1 c 4096-ptr_max
PARAM_VALUE 1 c->data.proto 0-255
PARAM_VALUE 1 c->event 16-17,26
DATA_SOURCE 0 x $0
DATA_SOURCE 1 c $1
NOSPEC 0 x->id.proto
NOSPEC 0 x->inner_mode.family
NOSPEC 0 x->km.seq
NOSPEC 0 x->outer_mode.family
NOSPEC 0 x->props.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.daddr.a4 0-u32max
USER_DATA 0 x->id.proto 4,41,43,50-51,60,108[c]
USER_DATA 0 x->id.spi 0-u32max
USER_DATA 0 x->inner_mode.family 2,10
USER_DATA 0 x->km.seq 0-u32max
USER_DATA 0 x->lft.hard_add_expires_seconds 0-u64max
USER_DATA 0 x->lft.hard_byte_limit 0-u64max
USER_DATA 0 x->lft.hard_packet_limit 0-u64max
USER_DATA 0 x->lft.hard_use_expires_seconds 0-u64max
USER_DATA 0 x->lft.soft_add_expires_seconds 0-u64max
USER_DATA 0 x->lft.soft_byte_limit 0-u64max
USER_DATA 0 x->lft.soft_packet_limit 0-u64max
USER_DATA 0 x->lft.soft_use_expires_seconds 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->props.family 2,10[c]
USER_DATA 0 x->props.flags 0-255
USER_DATA 0 x->props.mode 0-5
USER_DATA 0 x->props.reqid 0-u32max
USER_DATA 0 x->props.saddr.a4 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->sel.daddr.a4 0-u32max
USER_DATA 0 x->sel.dport 0-u16max
USER_DATA 0 x->sel.dport_mask 0-u16max
USER_DATA 0 x->sel.ifindex s32min-s32max
USER_DATA 0 x->sel.prefixlen_d 0-255
USER_DATA 0 x->sel.prefixlen_s 0-255
USER_DATA 0 x->sel.proto 0-255
USER_DATA 0 x->sel.saddr.a4 0-u32max
USER_DATA 0 x->sel.sport 0-u16max
USER_DATA 0 x->sel.sport_mask 0-u16max
USER_DATA 0 x->sel.user 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
USER_DATA 1 c->data.hard 0-255
USER_DATA 1 c->data.proto 0-255[c]
USER_DATA 1 c->event 16-17,26[u]
USER_DATA 1 c->portid 0-u32max[u]
USER_DATA 1 c->seq 0-u32max[u]
LOCK2 rcu_read
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 0 &x->lock