Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/bonding/bond_main.c bond_advance_esn_state() -> bond_ipsec_dev()

Type Parameter Key Value
PARAM_VALUE 0 xs 4096-ptr_max
PARAM_VALUE 0 xs->mode_cbs->copy_to_user 4096-ptr_max
PARAM_VALUE 0 xs->mode_cbs->get_inner_mtu 4096-ptr_max
PARAM_VALUE 0 xs->mode_cbs->input 1-u64max
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->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->replay_esn->bmp 0-4294967295
DATA_SOURCE 0 xs $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 xs->curlft.bytes
LOCK2 rcu_read
HALF_LOCKED2 bh
HALF_LOCKED2 global &uld_mutex
HALF_LOCKED2 0 &xs->lock

drivers/net/bonding/bond_main.c bond_ipsec_offload_ok() -> bond_ipsec_dev()

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->type->proto 4,41,43,50-51,60,108
PARAM_VALUE 0 xs->type_offload 1-u64max
PARAM_VALUE 0 xs->xso.dev 1-u64max
PARAM_VALUE 0 xs->xso.dev->xfrmdev_ops 4096-ptr_max
PARAM_VALUE 0 xs->xso.dev->xfrmdev_ops->xdo_dev_offload_ok 1168490449487343616
DATA_SOURCE 0 xs $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

drivers/net/bonding/bond_main.c bond_xfrm_update_stats() -> bond_ipsec_dev()

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->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->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
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
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