Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- net/ipv4/ipcomp.c, line 80
- net/ipv6/ipcomp6.c, line 98
- net/key/af_key.c, line 1303
- net/xfrm/xfrm_state.c
Smatch caller information:
net/ipv4/ipcomp.c ipcomp_tunnel_create() -> xfrm_init_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | x | 4096-ptr_max |
| PARAM_VALUE | 0 | x->bydst.next | 0 |
| PARAM_VALUE | 0 | x->bydst.pprev | 0 |
| PARAM_VALUE | 0 | x->byseq.next | 0 |
| PARAM_VALUE | 0 | x->byseq.pprev | 0 |
| PARAM_VALUE | 0 | x->byspi.next | 0 |
| PARAM_VALUE | 0 | x->byspi.pprev | 0 |
| PARAM_VALUE | 0 | x->bysrc.next | 0 |
| PARAM_VALUE | 0 | x->bysrc.pprev | 0 |
| PARAM_VALUE | 0 | x->id.proto | 4 |
| PARAM_VALUE | 0 | x->km.all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->lft.hard_byte_limit | u64max |
| PARAM_VALUE | 0 | x->lft.hard_packet_limit | u64max |
| PARAM_VALUE | 0 | x->lft.soft_byte_limit | u64max |
| PARAM_VALUE | 0 | x->lft.soft_packet_limit | u64max |
| PARAM_VALUE | 0 | x->mode_data | 0 |
| PARAM_VALUE | 0 | x->mtimer._softexpires | 0 |
| PARAM_VALUE | 0 | x->mtimer.base | 4096-ptr_max |
| PARAM_VALUE | 0 | x->mtimer.function | 1-u64max |
| PARAM_VALUE | 0 | x->mtimer.is_hard | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_lazy | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_queued | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_rel | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_soft | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.expires | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.next | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.node.rb_left | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.node.rb_right | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.prev | 0 |
| PARAM_VALUE | 0 | x->pcpu_num | u32max |
| PARAM_VALUE | 0 | x->props.family | 2 |
| PARAM_VALUE | 0 | x->props.mode | 1 |
| PARAM_VALUE | 0 | x->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | x->replay_maxage | 0 |
| PARAM_VALUE | 0 | x->replay_maxdiff | 0 |
| PARAM_VALUE | 0 | x->rtimer.entry.pprev | 0 |
| PARAM_VALUE | 0 | x->rtimer.flags | 0-4194302 |
| PARAM_VALUE | 0 | x->rtimer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | x->sel.family | 0,2,10 |
| PARAM_VALUE | 0 | x->state_cache.next | 0 |
| PARAM_VALUE | 0 | x->state_cache.pprev | 0 |
| PARAM_VALUE | 0 | x->tunnel_users.counter | 0 |
| PARAM_VALUE | 1 | extack | 0 |
| BUF_SIZE | 0 | x->xs_net.net | (-1),1-s32max |
| CAPPED_DATA | 0 | x->sel.family | 1 |
| DATA_SOURCE | 0 | x | r xfrm_state_alloc |
| NOSPEC | 0 | x->sel.family | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | x->id.daddr.a4 | 0-u32max |
| USER_DATA | 0 | x->id.spi | 0-u32max |
| USER_DATA | 0 | x->mark.m | 0-u32max |
| USER_DATA | 0 | x->mark.v | 0-u32max |
| USER_DATA | 0 | x->props.flags | 0-255 |
| USER_DATA | 0 | x->props.saddr.a4 | 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.family | 0,2,10[c] |
| 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 |
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex |
net/key/af_key.c pfkey_msg2xfrm_state() -> xfrm_init_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | x | 4096-ptr_max |
| PARAM_VALUE | 0 | x->bydst.next | 0 |
| PARAM_VALUE | 0 | x->bydst.pprev | 0 |
| PARAM_VALUE | 0 | x->byseq.next | 0 |
| PARAM_VALUE | 0 | x->byseq.pprev | 0 |
| PARAM_VALUE | 0 | x->byspi.next | 0 |
| PARAM_VALUE | 0 | x->byspi.pprev | 0 |
| PARAM_VALUE | 0 | x->bysrc.next | 0 |
| PARAM_VALUE | 0 | x->bysrc.pprev | 0 |
| PARAM_VALUE | 0 | x->id.proto | 50-51,108,255 |
| PARAM_VALUE | 0 | x->km.all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->lft.hard_byte_limit | 1-u64max |
| PARAM_VALUE | 0 | x->lft.hard_packet_limit | 1-u32max,u64max |
| PARAM_VALUE | 0 | x->lft.soft_byte_limit | 1-u64max |
| PARAM_VALUE | 0 | x->lft.soft_packet_limit | 1-u32max,u64max |
| PARAM_VALUE | 0 | x->mode_data | 0 |
| PARAM_VALUE | 0 | x->mtimer._softexpires | 0 |
| PARAM_VALUE | 0 | x->mtimer.base | 4096-ptr_max |
| PARAM_VALUE | 0 | x->mtimer.function | 1-u64max |
| PARAM_VALUE | 0 | x->mtimer.is_hard | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_lazy | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_queued | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_rel | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_soft | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.expires | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.next | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.node.rb_left | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.node.rb_right | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.prev | 0 |
| PARAM_VALUE | 0 | x->pcpu_num | u32max |
| PARAM_VALUE | 0 | x->props.family | 0,2,10 |
| PARAM_VALUE | 0 | x->props.replay_window | 0-32 |
| PARAM_VALUE | 0 | x->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | x->replay_maxage | 0 |
| PARAM_VALUE | 0 | x->replay_maxdiff | 0 |
| PARAM_VALUE | 0 | x->rtimer.entry.pprev | 0 |
| PARAM_VALUE | 0 | x->rtimer.flags | 0-4194302 |
| PARAM_VALUE | 0 | x->rtimer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | x->state_cache.next | 0 |
| PARAM_VALUE | 0 | x->state_cache.pprev | 0 |
| PARAM_VALUE | 0 | x->tunnel_users.counter | 0 |
| PARAM_VALUE | 1 | extack | 0 |
| BUF_SIZE | 0 | x->aalg | 72-8264,u64max |
| BUF_SIZE | 0 | x->calg | 68,u64max |
| BUF_SIZE | 0 | x->ealg | 68-8260,u64max |
| BUF_SIZE | 0 | x->encap | 24,u64max |
| CAPPED_DATA | 0 | x->props.replay_window | 1 |
| DATA_SOURCE | 0 | x | r xfrm_state_alloc |
| FUZZY_MAX | 0 | x->lft.hard_byte_limit | u64max |
| FUZZY_MAX | 0 | x->lft.hard_packet_limit | u64max |
| FUZZY_MAX | 0 | x->lft.soft_byte_limit | u64max |
| FUZZY_MAX | 0 | x->lft.soft_packet_limit | u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &vq->mutex | ||
| TYPE_LOCK | (struct netns_xfrm)->xfrm_cfg_mutex |
net/xfrm/xfrm_state.c xfrm_state_migrate_create() -> xfrm_init_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | x | 4096-ptr_max |
| PARAM_VALUE | 0 | x->bydst.next | 0 |
| PARAM_VALUE | 0 | x->bydst.pprev | 0 |
| PARAM_VALUE | 0 | x->byseq.next | 0 |
| PARAM_VALUE | 0 | x->byseq.pprev | 0 |
| PARAM_VALUE | 0 | x->byspi.next | 0 |
| PARAM_VALUE | 0 | x->byspi.pprev | 0 |
| PARAM_VALUE | 0 | x->bysrc.next | 0 |
| PARAM_VALUE | 0 | x->bysrc.pprev | 0 |
| PARAM_VALUE | 0 | x->km.all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->mode_cbs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | x->mode_cbs->clone_state | 7975205731614285824 |
| PARAM_VALUE | 0 | x->mode_cbs->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | x->mode_data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | x->mtimer._softexpires | 0 |
| PARAM_VALUE | 0 | x->mtimer.base | 4096-ptr_max |
| PARAM_VALUE | 0 | x->mtimer.function | 1-u64max |
| PARAM_VALUE | 0 | x->mtimer.is_hard | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_lazy | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_queued | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_rel | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_soft | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.expires | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.next | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.node.rb_left | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.node.rb_right | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.prev | 0 |
| PARAM_VALUE | 0 | x->new_mapping | 0 |
| PARAM_VALUE | 0 | x->new_mapping_sport | 0 |
| PARAM_VALUE | 0 | x->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | x->rtimer.entry.pprev | 0 |
| PARAM_VALUE | 0 | x->rtimer.flags | 0-4194302 |
| PARAM_VALUE | 0 | x->rtimer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | x->state_cache.next | 0 |
| PARAM_VALUE | 0 | x->state_cache.pprev | 0 |
| PARAM_VALUE | 0 | x->tunnel_users.counter | 0 |
| PARAM_VALUE | 1 | extack | 0,4971238048455385088 |
| PARAM_VALUE | 1 | extack->bad_attr | 0 |
| PARAM_VALUE | 1 | extack->policy | 0 |
| CAPPED_DATA | 0 | x->id.proto | 1 |
| DATA_SOURCE | 0 | x | r xfrm_state_clone_and_setup |
| DATA_SOURCE | 1 | extack | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | x->id.daddr.a4 | 0-u32max |
| USER_DATA | 0 | x->mark | s64min-s64max |
| USER_DATA | 0 | x->mark.m | 0 |
| USER_DATA | 0 | x->mark.v | 0 |
| USER_DATA | 0 | x->props.family | 0-u16max |
| USER_DATA | 0 | x->props.reqid | 0-u32max |
| USER_DATA | 0 | x->props.saddr.a4 | 0-u32max |
| USER_DATA | 0 | x->sel.family | 0-9,11-u16max |
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex |
net/ipv6/ipcomp6.c ipcomp6_tunnel_create() -> xfrm_init_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | x | 4096-ptr_max |
| PARAM_VALUE | 0 | x->bydst.next | 0 |
| PARAM_VALUE | 0 | x->bydst.pprev | 0 |
| PARAM_VALUE | 0 | x->byseq.next | 0 |
| PARAM_VALUE | 0 | x->byseq.pprev | 0 |
| PARAM_VALUE | 0 | x->byspi.next | 0 |
| PARAM_VALUE | 0 | x->byspi.pprev | 0 |
| PARAM_VALUE | 0 | x->bysrc.next | 0 |
| PARAM_VALUE | 0 | x->bysrc.pprev | 0 |
| PARAM_VALUE | 0 | x->id.proto | 41 |
| PARAM_VALUE | 0 | x->id.spi | 1-u32max |
| PARAM_VALUE | 0 | x->km.all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->km.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->lft.hard_byte_limit | u64max |
| PARAM_VALUE | 0 | x->lft.hard_packet_limit | u64max |
| PARAM_VALUE | 0 | x->lft.soft_byte_limit | u64max |
| PARAM_VALUE | 0 | x->lft.soft_packet_limit | u64max |
| PARAM_VALUE | 0 | x->mode_data | 0 |
| PARAM_VALUE | 0 | x->mtimer._softexpires | 0 |
| PARAM_VALUE | 0 | x->mtimer.base | 4096-ptr_max |
| PARAM_VALUE | 0 | x->mtimer.function | 1-u64max |
| PARAM_VALUE | 0 | x->mtimer.is_hard | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_lazy | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_queued | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_rel | 0 |
| PARAM_VALUE | 0 | x->mtimer.is_soft | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.expires | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.next | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.node.rb_left | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.node.rb_right | 0 |
| PARAM_VALUE | 0 | x->mtimer.node.node.prev | 0 |
| PARAM_VALUE | 0 | x->pcpu_num | u32max |
| PARAM_VALUE | 0 | x->props.family | 10 |
| PARAM_VALUE | 0 | x->props.mode | 1 |
| PARAM_VALUE | 0 | x->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | x->replay_maxage | 0 |
| PARAM_VALUE | 0 | x->replay_maxdiff | 0 |
| PARAM_VALUE | 0 | x->rtimer.entry.pprev | 0 |
| PARAM_VALUE | 0 | x->rtimer.flags | 0-4194302 |
| PARAM_VALUE | 0 | x->rtimer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | x->sel.family | 0,2,10 |
| PARAM_VALUE | 0 | x->state_cache.next | 0 |
| PARAM_VALUE | 0 | x->state_cache.pprev | 0 |
| PARAM_VALUE | 0 | x->tunnel_users.counter | 0 |
| PARAM_VALUE | 0 | x->xs_net.net | 4096-ptr_max |
| PARAM_VALUE | 1 | extack | 0 |
| BUF_SIZE | 0 | x->xs_net.net | (-1),1-s32max |
| CAPPED_DATA | 0 | x->sel.family | 1 |
| DATA_SOURCE | 0 | x | r xfrm_state_alloc |
| NOSPEC | 0 | x->sel.family | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | x->mark.m | 0-u32max |
| USER_DATA | 0 | x->mark.v | 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.family | 0,2,10[c] |
| 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 |
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex |