Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/xfrm/xfrm_state.c xfrm_dev_state_update_stats() -> (struct xfrmdev_ops)->xdo_dev_state_update_stats()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xs | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->type->flags | 0,2,5,9 |
| PARAM_VALUE | 0 | *xs->replay_esn->bmp | 0-4294967295 |
| DATA_SOURCE | 0 | xs | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | xs->lft.hard_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->lft.hard_byte_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.hard_packet_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.hard_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_byte_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_packet_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->sel.daddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->sel.dport | 0-u16max |
| USER_DATA | 0 | xs->sel.dport_mask | 0-u16max |
| USER_DATA | 0 | xs->sel.ifindex | s32min-s32max |
| USER_DATA | 0 | xs->sel.prefixlen_d | 0-255 |
| USER_DATA | 0 | xs->sel.prefixlen_s | 0-255 |
| USER_DATA | 0 | xs->sel.proto | 0-255 |
| USER_DATA | 0 | xs->sel.saddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->sel.sport | 0-u16max |
| USER_DATA | 0 | xs->sel.sport_mask | 0-u16max |
| USER_DATA | 0 | xs->sel.user | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | xs->curlft.bytes | |
| HALF_LOCKED2 | &net->xfrm.xfrm_state_lock | ||
| HALF_LOCKED2 | &seq->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | 0 | &xs->lock |
net/xfrm/xfrm_user.c xfrm_dev_state_update_stats() -> (struct xfrmdev_ops)->xdo_dev_state_update_stats()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xs | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->mode_cbs->clone_state | 7975205731614285824 |
| PARAM_VALUE | 0 | xs->mode_cbs->copy_to_user | 1853556369833455616 |
| PARAM_VALUE | 0 | xs->mode_cbs->destroy_state | 2629703515136987136 |
| PARAM_VALUE | 0 | xs->mode_cbs->get_inner_mtu | 2298170523770195968 |
| PARAM_VALUE | 0 | xs->mode_cbs->init_state | 894039719160782848 |
| PARAM_VALUE | 0 | xs->mode_cbs->input | 2971371899429060608 |
| PARAM_VALUE | 0 | xs->mode_cbs->output | 8852574181919367168 |
| PARAM_VALUE | 0 | xs->mode_cbs->owner | 0 |
| PARAM_VALUE | 0 | xs->mode_cbs->prepare_output | 5073241018386681856 |
| PARAM_VALUE | 0 | xs->mode_cbs->sa_len | 490402456538587136 |
| PARAM_VALUE | 0 | xs->mode_cbs->user_init | 1162222067439800320 |
| PARAM_VALUE | 0 | xs->type->destructor | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->type->flags | 0,2,5,9 |
| PARAM_VALUE | 0 | xs->type->init_state | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->type->input | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->type->output | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->type->owner | 0 |
| PARAM_VALUE | 0 | xs->type->proto | 4,41,43,50-51,60,108 |
| PARAM_VALUE | 0 | xs->type->reject | 0,4096-ptr_max |
| PARAM_VALUE | 0 | xs->type_offload->owner | 0 |
| PARAM_VALUE | 0 | xs->xso.dev | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->xso.dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | xs->xso.dev_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | xs->xso.dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | *xs->replay_esn->bmp | 0-4294967295 |
| DATA_SOURCE | 0 | xs | $0 |
| NOSPEC | 0 | xs->id.proto | |
| NOSPEC | 0 | xs->id.spi | |
| NOSPEC | 0 | xs->inner_mode.family | |
| NOSPEC | 0 | xs->km.seq | |
| NOSPEC | 0 | xs->outer_mode.family | |
| NOSPEC | 0 | xs->props.family | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | xs->aalg->alg_key_len | 0-u32max |
| USER_DATA | 0 | xs->curlft.add_time | 0-u64max |
| USER_DATA | 0 | xs->curlft.bytes | 0-u64max |
| USER_DATA | 0 | xs->curlft.packets | 0-u64max |
| USER_DATA | 0 | xs->curlft.use_time | 0-u64max |
| USER_DATA | 0 | xs->id.daddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->id.proto | 4,41,43,50-51,60,108[c] |
| USER_DATA | 0 | xs->id.spi | 0-u32max |
| USER_DATA | 0 | xs->inner_mode.family | 2,10 |
| USER_DATA | 0 | xs->km.seq | 0-u32max |
| USER_DATA | 0 | xs->lft.hard_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->lft.hard_byte_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.hard_packet_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.hard_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_byte_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_packet_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->mark.v | 0-u32max[c] |
| USER_DATA | 0 | xs->outer_mode.family | 10[c] |
| USER_DATA | 0 | xs->preplay.bitmap | 0-u32max |
| USER_DATA | 0 | xs->preplay.oseq | 0-u32max |
| USER_DATA | 0 | xs->preplay.seq | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->bmp_len | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->oseq | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->oseq_hi | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->replay_window | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->seq | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->seq_hi | 0-u32max |
| USER_DATA | 0 | xs->props.family | 2,10[c] |
| USER_DATA | 0 | xs->props.flags | 0-255 |
| USER_DATA | 0 | xs->props.mode | 0-5 |
| USER_DATA | 0 | xs->props.reqid | 0-u32max |
| USER_DATA | 0 | xs->props.saddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->replay.bitmap | 0-u32max |
| USER_DATA | 0 | xs->replay.oseq | 0-u32max |
| USER_DATA | 0 | xs->replay.seq | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->bmp_len | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->oseq | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->oseq_hi | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->replay_window | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->seq | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->seq_hi | 0-u32max |
| USER_DATA | 0 | xs->sel.daddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->sel.dport | 0-u16max |
| USER_DATA | 0 | xs->sel.dport_mask | 0-u16max |
| USER_DATA | 0 | xs->sel.ifindex | s32min-s32max |
| USER_DATA | 0 | xs->sel.prefixlen_d | 0-255 |
| USER_DATA | 0 | xs->sel.prefixlen_s | 0-255 |
| USER_DATA | 0 | xs->sel.proto | 0-255 |
| USER_DATA | 0 | xs->sel.saddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->sel.sport | 0-u16max |
| USER_DATA | 0 | xs->sel.sport_mask | 0-u16max |
| USER_DATA | 0 | xs->sel.user | 0-u32max |
| USER_DATA | 0 | xs->tunnel->id.daddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->tunnel->id.spi | 0-u32max |
| USER_DATA | 0 | xs->tunnel->inner_mode.family | 2,10 |
| USER_DATA | 0 | xs->tunnel->outer_mode.family | 10[c] |
| USER_DATA | 0 | xs->tunnel->props.saddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->tunnel->sel.daddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->tunnel->sel.dport | 0-u16max |
| USER_DATA | 0 | xs->tunnel->sel.dport_mask | 0-u16max |
| USER_DATA | 0 | xs->tunnel->sel.ifindex | s32min-s32max |
| USER_DATA | 0 | xs->tunnel->sel.prefixlen_d | 0-255 |
| USER_DATA | 0 | xs->tunnel->sel.prefixlen_s | 0-255 |
| USER_DATA | 0 | xs->tunnel->sel.proto | 0-255 |
| USER_DATA | 0 | xs->tunnel->sel.saddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->tunnel->sel.sport | 0-u16max |
| USER_DATA | 0 | xs->tunnel->sel.sport_mask | 0-u16max |
| USER_DATA | 0 | xs->tunnel->sel.user | 0-u32max |
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &xs->lock |
drivers/net/bonding/bond_main.c bond_xfrm_update_stats() -> (struct xfrmdev_ops)->xdo_dev_state_update_stats()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xs | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->mode_cbs->clone_state | 7975205731614285824 |
| PARAM_VALUE | 0 | xs->mode_cbs->copy_to_user | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->mode_cbs->destroy_state | 2629703515136987136 |
| PARAM_VALUE | 0 | xs->mode_cbs->get_inner_mtu | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->mode_cbs->init_state | 894039719160782848 |
| PARAM_VALUE | 0 | xs->mode_cbs->input | 1-u64max |
| PARAM_VALUE | 0 | xs->mode_cbs->output | 8852574181919367168 |
| PARAM_VALUE | 0 | xs->mode_cbs->owner | 0 |
| PARAM_VALUE | 0 | xs->mode_cbs->prepare_output | 1-u64max |
| PARAM_VALUE | 0 | xs->mode_cbs->sa_len | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->mode_cbs->user_init | 1162222067439800320 |
| PARAM_VALUE | 0 | xs->type->destructor | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->type->flags | 0,2-255 |
| PARAM_VALUE | 0 | xs->type->init_state | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->type->input | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->type->output | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->type->owner | 0 |
| PARAM_VALUE | 0 | xs->type->proto | 4,41,43,50-51,60,108 |
| PARAM_VALUE | 0 | xs->type->reject | 0,4096-ptr_max |
| PARAM_VALUE | 0 | xs->type_offload->encap | 3026618011163508736,7531102084703621120 |
| PARAM_VALUE | 0 | xs->type_offload->input_tail | 677404555923771392,5422576399545094144 |
| PARAM_VALUE | 0 | xs->type_offload->owner | 0 |
| PARAM_VALUE | 0 | xs->type_offload->proto | 50 |
| PARAM_VALUE | 0 | xs->type_offload->xmit | 3324157048469573632,4206418349158756352 |
| PARAM_VALUE | 0 | xs->xso.dev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | xs->xso.dev->priv->params.mode | 1 |
| PARAM_VALUE | 0 | xs->xso.dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| PARAM_VALUE | 0 | xs->xso.real_dev | 1-u64max |
| PARAM_VALUE | 0 | xs->xso.real_dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| PARAM_VALUE | 0 | xs->xso.real_dev->xfrmdev_ops->xdo_dev_state_delete | 1-u64max |
| PARAM_VALUE | 0 | *xs->id.daddr.a6 | 0-4294967295 |
| PARAM_VALUE | 0 | *xs->props.saddr.a6 | 0-4294967295 |
| PARAM_VALUE | 0 | *xs->replay_esn->bmp | 0-4294967295 |
| BUF_SIZE | 0 | xs | (-1),1-s32max |
| BUF_SIZE | 0 | xs | (-1),1-s32max |
| BUF_SIZE | 0 | xs->xs_net.net | (-1),1-s32max |
| CAPPED_DATA | 0 | xs->xso.real_dev | 1 |
| DATA_SOURCE | 0 | xs | $0 |
| NOSPEC | 0 | xs->id.proto | |
| NOSPEC | 0 | xs->id.spi | |
| NOSPEC | 0 | xs->inner_mode.family | |
| NOSPEC | 0 | xs->km.seq | |
| NOSPEC | 0 | xs->outer_mode.family | |
| NOSPEC | 0 | xs->props.family | |
| NOSPEC | 0 | xs->props.mode | |
| NOSPEC | 0 | xs->sel.family | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | xs->aalg->alg_key_len | 0-u32max |
| USER_DATA | 0 | xs->curlft.add_time | 0-u64max |
| USER_DATA | 0 | xs->curlft.bytes | 0-u64max |
| USER_DATA | 0 | xs->curlft.packets | 0-u64max |
| USER_DATA | 0 | xs->curlft.use_time | 0-u64max |
| USER_DATA | 0 | xs->id.daddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->id.proto | 0-254[c] |
| USER_DATA | 0 | xs->id.spi | 0-u32max |
| USER_DATA | 0 | xs->inner_mode.family | 2,10[c] |
| USER_DATA | 0 | xs->km.seq | 0-u32max |
| USER_DATA | 0 | xs->lft.hard_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->lft.hard_byte_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.hard_packet_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.hard_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_byte_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_packet_limit | 0-u64max |
| USER_DATA | 0 | xs->lft.soft_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | xs->mark.v | 0-u32max[c] |
| USER_DATA | 0 | xs->outer_mode.family | 2,10[c] |
| USER_DATA | 0 | xs->preplay.bitmap | 0-u32max |
| USER_DATA | 0 | xs->preplay.oseq | 0-u32max |
| USER_DATA | 0 | xs->preplay.seq | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->bmp_len | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->oseq | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->oseq_hi | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->replay_window | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->seq | 0-u32max |
| USER_DATA | 0 | xs->preplay_esn->seq_hi | 0-u32max |
| USER_DATA | 0 | xs->props.family | 0-u16max[c] |
| USER_DATA | 0 | xs->props.flags | 0-255 |
| USER_DATA | 0 | xs->props.mode | 0-255 |
| USER_DATA | 0 | xs->props.reqid | 0-u32max |
| USER_DATA | 0 | xs->props.saddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->replay.bitmap | 0-u32max |
| USER_DATA | 0 | xs->replay.oseq | 0-u32max |
| USER_DATA | 0 | xs->replay.seq | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->bmp_len | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->oseq | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->oseq_hi | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->replay_window | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->seq | 0-u32max |
| USER_DATA | 0 | xs->replay_esn->seq_hi | 0-u32max |
| USER_DATA | 0 | xs->sel.daddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->sel.dport | 0-u16max |
| USER_DATA | 0 | xs->sel.dport_mask | 0-u16max |
| USER_DATA | 0 | xs->sel.family | 0-u16max[c] |
| USER_DATA | 0 | xs->sel.ifindex | s32min-s32max |
| USER_DATA | 0 | xs->sel.prefixlen_d | 0-255 |
| USER_DATA | 0 | xs->sel.prefixlen_s | 0-255 |
| USER_DATA | 0 | xs->sel.proto | 0-255 |
| USER_DATA | 0 | xs->sel.saddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->sel.sport | 0-u16max |
| USER_DATA | 0 | xs->sel.sport_mask | 0-u16max |
| USER_DATA | 0 | xs->sel.user | 0-u32max |
| USER_DATA | 0 | xs->tunnel->id.daddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->tunnel->id.spi | 0-u32max |
| USER_DATA | 0 | xs->tunnel->inner_mode.family | 2,10[c] |
| USER_DATA | 0 | xs->tunnel->outer_mode.family | 2,10[c] |
| USER_DATA | 0 | xs->tunnel->props.flags | 0-255 |
| USER_DATA | 0 | xs->tunnel->props.saddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->tunnel->sel.daddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->tunnel->sel.dport | 0-u16max |
| USER_DATA | 0 | xs->tunnel->sel.dport_mask | 0-u16max |
| USER_DATA | 0 | xs->tunnel->sel.family | 0,2,10[c] |
| USER_DATA | 0 | xs->tunnel->sel.ifindex | s32min-s32max |
| USER_DATA | 0 | xs->tunnel->sel.prefixlen_d | 0-255 |
| USER_DATA | 0 | xs->tunnel->sel.prefixlen_s | 0-255 |
| USER_DATA | 0 | xs->tunnel->sel.proto | 0-255 |
| USER_DATA | 0 | xs->tunnel->sel.saddr.a4 | 0-u32max |
| USER_DATA | 0 | xs->tunnel->sel.sport | 0-u16max |
| USER_DATA | 0 | xs->tunnel->sel.sport_mask | 0-u16max |
| USER_DATA | 0 | xs->tunnel->sel.user | 0-u32max |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &xs->lock |