Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/key/af_key.c pfkey_xfrm_state2msg() -> __pfkey_xfrm_state2msg()
| 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->replay_esn->bmp | 0-4294967295 |
| PARAM_VALUE | 1 | add_keys | 1 |
| PARAM_VALUE | 2 | hsc | 3 |
| BUF_SIZE | 0 | x | (-1),1-s32max |
| BUF_SIZE | 0 | x | (-1),1-s32max |
| DATA_SOURCE | 0 | x | $0 |
| 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-u16max[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 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_state_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &x->lock |
net/key/af_key.c pfkey_xfrm_state2msg_expire() -> __pfkey_xfrm_state2msg()
| 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_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | x->xso.dev_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | x->xso.dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | *x->aalg->alg_key | 0-255 |
| PARAM_VALUE | 0 | *x->replay_esn->bmp | 0-4294967295 |
| PARAM_VALUE | 1 | add_keys | 0 |
| PARAM_VALUE | 2 | hsc | 1-2 |
| BUF_SIZE | 0 | x | (-1),1-s32max |
| BUF_SIZE | 0 | x | (-1),1-s32max |
| DATA_SOURCE | 0 | x | $0 |
| DATA_SOURCE | 2 | hsc | $1 |
| FUZZY_MAX | 2 | hsc | 2 |
| NOSPEC | 0 | x->inner_mode.family | |
| NOSPEC | 0 | x->outer_mode.family | |
| HARD_MAX | 2 | hsc | 2 |
| 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->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 |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | 0 | &x->lock |