Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/ixgbe/ixgbe_ipsec.c ixgbe_ipsec_add_sa() -> ixgbe_ipsec_parse_proto_keys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->ip6_ptr->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,33-34,50 |
| PARAM_VALUE | 0 | 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 | dev->xfrmdev_ops->xdo_dev_state_add | 1-u64max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops->xdo_dev_state_advance_esn | 0,317591795473039360,2067320901665550336,4124001140151758848,8775792675675045888 |
| PARAM_VALUE | 0 | dev->xfrmdev_ops->xdo_dev_state_delete | 4096-ptr_max |
| PARAM_VALUE | 1 | xs | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->calg | 0 |
| PARAM_VALUE | 1 | xs->id.proto | 50-51 |
| PARAM_VALUE | 1 | xs->mode_cbs->clone_state | 7975205731614285824 |
| PARAM_VALUE | 1 | xs->mode_cbs->copy_to_user | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->destroy_state | 2629703515136987136 |
| PARAM_VALUE | 1 | xs->mode_cbs->get_inner_mtu | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->init_state | 894039719160782848 |
| PARAM_VALUE | 1 | xs->mode_cbs->input | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->output | 8852574181919367168 |
| PARAM_VALUE | 1 | xs->mode_cbs->owner | 0,4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->prepare_output | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->sa_len | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->user_init | 1162222067439800320 |
| PARAM_VALUE | 1 | xs->props.mode | 0 |
| PARAM_VALUE | 1 | xs->type->destructor | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->type->flags | 0,2,5,9 |
| PARAM_VALUE | 1 | xs->type->init_state | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->type->input | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->type->output | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->type->owner | 0 |
| PARAM_VALUE | 1 | xs->type->proto | 4,41,43,50-51,60,108 |
| PARAM_VALUE | 1 | xs->type->reject | 0,4096-ptr_max |
| PARAM_VALUE | 1 | xs->type_offload->encap | 3026618011163508736,7531102084703621120 |
| PARAM_VALUE | 1 | xs->type_offload->input_tail | 677404555923771392,5422576399545094144 |
| PARAM_VALUE | 1 | xs->type_offload->owner | 0 |
| PARAM_VALUE | 1 | xs->type_offload->proto | 50 |
| PARAM_VALUE | 1 | xs->type_offload->xmit | 3324157048469573632,4206418349158756352 |
| PARAM_VALUE | 1 | xs->xso.dir | 1 |
| PARAM_VALUE | 1 | xs->xso.real_dev->xfrmdev_ops->xdo_dev_state_delete | 1-u64max |
| PARAM_VALUE | 1 | xs->xso.type | 1 |
| PARAM_VALUE | 1 | *xs->id.daddr.a6 | 0-4294967295 |
| PARAM_VALUE | 1 | *xs->props.saddr.a6 | 0-4294967295 |
| PARAM_VALUE | 2 | mykey | 0 |
| PARAM_VALUE | 3 | mysalt | 5351463113760174136 |
| BUF_SIZE | 1 | xs | (-1)-s32max |
| BUF_SIZE | 1 | xs | (-1)-s32max |
| BUF_SIZE | 1 | xs->aead | (-1),92 |
| BUF_SIZE | 1 | xs->coaddr | (-1),16 |
| BUF_SIZE | 1 | xs->encap | (-1),24 |
| BUF_SIZE | 1 | xs->xs_net.net | (-1),1-s32max |
| BUF_SIZE | 2 | mykey | 16 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | xs | $1 |
| BIT_INFO | 1 | xs->id.proto | 0x32,0xffffffffffffffff |
| NOSPEC | 1 | xs->inner_mode.family | |
| NOSPEC | 1 | xs->outer_mode.family | |
| NOSPEC | 1 | xs->props.family | |
| NOSPEC | 1 | xs->props.mode | |
| MEM_ZERO | 3 | mysalt | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | xs->aalg->alg_key_len | 0-u32max |
| USER_DATA | 1 | xs->curlft.add_time | 0-u64max |
| USER_DATA | 1 | xs->curlft.bytes | 0-u64max |
| USER_DATA | 1 | xs->curlft.packets | 0-u64max |
| USER_DATA | 1 | xs->curlft.use_time | 0-u64max |
| USER_DATA | 1 | xs->id.daddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->id.spi | 0-u32max |
| USER_DATA | 1 | xs->inner_mode.family | 2,10[c] |
| USER_DATA | 1 | xs->km.seq | 0-u32max |
| USER_DATA | 1 | xs->lft.hard_add_expires_seconds | 0-u64max |
| USER_DATA | 1 | xs->lft.hard_byte_limit | 0-u64max |
| USER_DATA | 1 | xs->lft.hard_packet_limit | 0-u64max |
| USER_DATA | 1 | xs->lft.hard_use_expires_seconds | 0-u64max |
| USER_DATA | 1 | xs->lft.soft_add_expires_seconds | 0-u64max |
| USER_DATA | 1 | xs->lft.soft_byte_limit | 0-u64max |
| USER_DATA | 1 | xs->lft.soft_packet_limit | 0-u64max |
| USER_DATA | 1 | xs->lft.soft_use_expires_seconds | 0-u64max |
| USER_DATA | 1 | xs->mark.m | 0-u32max |
| USER_DATA | 1 | xs->mark.v | 0-u32max |
| USER_DATA | 1 | xs->outer_mode.family | 2,10[c] |
| USER_DATA | 1 | xs->preplay.bitmap | 0-u32max |
| USER_DATA | 1 | xs->preplay.oseq | 0-u32max |
| USER_DATA | 1 | xs->preplay.seq | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->bmp_len | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->oseq | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->oseq_hi | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->replay_window | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->seq | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->seq_hi | 0-u32max |
| USER_DATA | 1 | xs->props.family | 0-u16max |
| USER_DATA | 1 | xs->props.flags | 128-255 |
| USER_DATA | 1 | xs->props.mode | 0 |
| USER_DATA | 1 | xs->props.reqid | 0-u32max |
| USER_DATA | 1 | xs->props.saddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->replay.bitmap | 0-u32max |
| USER_DATA | 1 | xs->replay.oseq | 0-u32max |
| USER_DATA | 1 | xs->replay.seq | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->bmp_len | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->oseq | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->oseq_hi | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->replay_window | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->seq | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->seq_hi | 0-u32max |
| USER_DATA | 1 | xs->sel.daddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->sel.dport | 0-u16max |
| USER_DATA | 1 | xs->sel.dport_mask | 0-u16max |
| USER_DATA | 1 | xs->sel.family | 0-u16max[c] |
| USER_DATA | 1 | xs->sel.ifindex | s32min-s32max |
| USER_DATA | 1 | xs->sel.prefixlen_d | 0-255 |
| USER_DATA | 1 | xs->sel.prefixlen_s | 0-255 |
| USER_DATA | 1 | xs->sel.proto | 0-255 |
| USER_DATA | 1 | xs->sel.saddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->sel.sport | 0-u16max |
| USER_DATA | 1 | xs->sel.sport_mask | 0-u16max |
| USER_DATA | 1 | xs->sel.user | 0-u32max |
| USER_DATA | 1 | xs->tunnel->id.daddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->tunnel->id.spi | 0-u32max |
| USER_DATA | 1 | xs->tunnel->inner_mode.family | 2,10[c] |
| USER_DATA | 1 | xs->tunnel->mark.m | 0-u32max |
| USER_DATA | 1 | xs->tunnel->mark.v | 0-u32max[c] |
| USER_DATA | 1 | xs->tunnel->outer_mode.family | 2,10[c] |
| USER_DATA | 1 | xs->tunnel->props.flags | 0-255 |
| USER_DATA | 1 | xs->tunnel->props.saddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->tunnel->sel.daddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->tunnel->sel.dport | 0-u16max |
| USER_DATA | 1 | xs->tunnel->sel.dport_mask | 0-u16max |
| USER_DATA | 1 | xs->tunnel->sel.family | 0,2,10[c] |
| USER_DATA | 1 | xs->tunnel->sel.ifindex | s32min-s32max |
| USER_DATA | 1 | xs->tunnel->sel.prefixlen_d | 0-255 |
| USER_DATA | 1 | xs->tunnel->sel.prefixlen_s | 0-255 |
| USER_DATA | 1 | xs->tunnel->sel.proto | 0-255 |
| USER_DATA | 1 | xs->tunnel->sel.saddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->tunnel->sel.sport | 0-u16max |
| USER_DATA | 1 | xs->tunnel->sel.sport_mask | 0-u16max |
| USER_DATA | 1 | xs->tunnel->sel.user | 0-u32max |
| HALF_LOCKED2 | &adapter->vfs_lock | ||
| HALF_LOCKED2 | &bond->ipsec_lock | ||
| HALF_LOCKED2 | global &uld_mutex |
drivers/net/ethernet/intel/ixgbe/ixgbe_ipsec.c ixgbe_ipsec_add_sa() -> ixgbe_ipsec_parse_proto_keys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->ip6_ptr->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 0 | dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,33-34,50 |
| PARAM_VALUE | 0 | 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 | dev->xfrmdev_ops->xdo_dev_state_add | 1-u64max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops->xdo_dev_state_advance_esn | 0,317591795473039360,2067320901665550336,4124001140151758848,8775792675675045888 |
| PARAM_VALUE | 0 | dev->xfrmdev_ops->xdo_dev_state_delete | 4096-ptr_max |
| PARAM_VALUE | 1 | xs | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->id.proto | 50-51 |
| PARAM_VALUE | 1 | xs->mode_cbs->clone_state | 7975205731614285824 |
| PARAM_VALUE | 1 | xs->mode_cbs->copy_to_user | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->destroy_state | 2629703515136987136 |
| PARAM_VALUE | 1 | xs->mode_cbs->get_inner_mtu | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->init_state | 894039719160782848 |
| PARAM_VALUE | 1 | xs->mode_cbs->input | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->output | 8852574181919367168 |
| PARAM_VALUE | 1 | xs->mode_cbs->owner | 0,4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->prepare_output | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->sa_len | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->user_init | 1162222067439800320 |
| PARAM_VALUE | 1 | xs->props.mode | 0 |
| PARAM_VALUE | 1 | xs->type->destructor | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->type->flags | 0,2,5,9 |
| PARAM_VALUE | 1 | xs->type->init_state | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->type->input | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->type->output | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->type->owner | 0 |
| PARAM_VALUE | 1 | xs->type->proto | 4,41,43,50-51,60,108 |
| PARAM_VALUE | 1 | xs->type->reject | 0,4096-ptr_max |
| PARAM_VALUE | 1 | xs->type_offload->encap | 3026618011163508736,7531102084703621120 |
| PARAM_VALUE | 1 | xs->type_offload->input_tail | 677404555923771392,5422576399545094144 |
| PARAM_VALUE | 1 | xs->type_offload->owner | 0 |
| PARAM_VALUE | 1 | xs->type_offload->proto | 50 |
| PARAM_VALUE | 1 | xs->type_offload->xmit | 3324157048469573632,4206418349158756352 |
| PARAM_VALUE | 1 | xs->xso.dir | 0,2-3 |
| PARAM_VALUE | 1 | xs->xso.real_dev->xfrmdev_ops->xdo_dev_state_delete | 1-u64max |
| PARAM_VALUE | 1 | xs->xso.type | 1 |
| PARAM_VALUE | 1 | *xs->aalg->alg_key | 0-255 |
| PARAM_VALUE | 1 | *xs->id.daddr.a6 | 0-4294967295 |
| PARAM_VALUE | 1 | *xs->props.saddr.a6 | 0-4294967295 |
| PARAM_VALUE | 2 | mykey | 0 |
| PARAM_VALUE | 3 | mysalt | 1232443715149590552 |
| BUF_SIZE | 1 | xs | (-1)-s32max |
| BUF_SIZE | 1 | xs | (-1)-s32max |
| BUF_SIZE | 1 | xs->coaddr | (-1),16 |
| BUF_SIZE | 1 | xs->encap | (-1),24 |
| BUF_SIZE | 1 | xs->xs_net.net | (-1),1-s32max |
| BUF_SIZE | 2 | mykey | 16 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | xs | $1 |
| FUZZY_MAX | 1 | xs->xso.dir | 2 |
| BIT_INFO | 1 | xs->id.proto | 0x32,0x3f |
| NOSPEC | 1 | xs->inner_mode.family | |
| NOSPEC | 1 | xs->outer_mode.family | |
| NOSPEC | 1 | xs->props.family | |
| NOSPEC | 1 | xs->props.mode | |
| MEM_ZERO | 3 | mysalt | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | xs->aalg->alg_key_len | 0-u32max |
| USER_DATA | 1 | xs->curlft.add_time | 0-u64max |
| USER_DATA | 1 | xs->curlft.bytes | 0-u64max |
| USER_DATA | 1 | xs->curlft.packets | 0-u64max |
| USER_DATA | 1 | xs->curlft.use_time | 0-u64max |
| USER_DATA | 1 | xs->id.daddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->id.spi | 0-u32max |
| USER_DATA | 1 | xs->inner_mode.family | 2,10[c] |
| USER_DATA | 1 | xs->km.seq | 0-u32max |
| USER_DATA | 1 | xs->lft.hard_add_expires_seconds | 0-u64max |
| USER_DATA | 1 | xs->lft.hard_byte_limit | 0-u64max |
| USER_DATA | 1 | xs->lft.hard_packet_limit | 0-u64max |
| USER_DATA | 1 | xs->lft.hard_use_expires_seconds | 0-u64max |
| USER_DATA | 1 | xs->lft.soft_add_expires_seconds | 0-u64max |
| USER_DATA | 1 | xs->lft.soft_byte_limit | 0-u64max |
| USER_DATA | 1 | xs->lft.soft_packet_limit | 0-u64max |
| USER_DATA | 1 | xs->lft.soft_use_expires_seconds | 0-u64max |
| USER_DATA | 1 | xs->mark.m | 0-u32max |
| USER_DATA | 1 | xs->mark.v | 0-u32max |
| USER_DATA | 1 | xs->outer_mode.family | 2,10[c] |
| USER_DATA | 1 | xs->preplay.bitmap | 0-u32max |
| USER_DATA | 1 | xs->preplay.oseq | 0-u32max |
| USER_DATA | 1 | xs->preplay.seq | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->bmp_len | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->oseq | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->oseq_hi | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->replay_window | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->seq | 0-u32max |
| USER_DATA | 1 | xs->preplay_esn->seq_hi | 0-u32max |
| USER_DATA | 1 | xs->props.family | 0-u16max |
| USER_DATA | 1 | xs->props.flags | 128-255 |
| USER_DATA | 1 | xs->props.mode | 0 |
| USER_DATA | 1 | xs->props.reqid | 0-u32max |
| USER_DATA | 1 | xs->props.saddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->replay.bitmap | 0-u32max |
| USER_DATA | 1 | xs->replay.oseq | 0-u32max |
| USER_DATA | 1 | xs->replay.seq | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->bmp_len | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->oseq | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->oseq_hi | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->replay_window | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->seq | 0-u32max |
| USER_DATA | 1 | xs->replay_esn->seq_hi | 0-u32max |
| USER_DATA | 1 | xs->sel.daddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->sel.dport | 0-u16max |
| USER_DATA | 1 | xs->sel.dport_mask | 0-u16max |
| USER_DATA | 1 | xs->sel.family | 0-u16max[c] |
| USER_DATA | 1 | xs->sel.ifindex | s32min-s32max |
| USER_DATA | 1 | xs->sel.prefixlen_d | 0-255 |
| USER_DATA | 1 | xs->sel.prefixlen_s | 0-255 |
| USER_DATA | 1 | xs->sel.proto | 0-255 |
| USER_DATA | 1 | xs->sel.saddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->sel.sport | 0-u16max |
| USER_DATA | 1 | xs->sel.sport_mask | 0-u16max |
| USER_DATA | 1 | xs->sel.user | 0-u32max |
| USER_DATA | 1 | xs->tunnel->id.daddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->tunnel->id.spi | 0-u32max |
| USER_DATA | 1 | xs->tunnel->inner_mode.family | 2,10[c] |
| USER_DATA | 1 | xs->tunnel->mark.m | 0-u32max |
| USER_DATA | 1 | xs->tunnel->mark.v | 0-u32max[c] |
| USER_DATA | 1 | xs->tunnel->outer_mode.family | 2,10[c] |
| USER_DATA | 1 | xs->tunnel->props.flags | 0-255 |
| USER_DATA | 1 | xs->tunnel->props.saddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->tunnel->sel.daddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->tunnel->sel.dport | 0-u16max |
| USER_DATA | 1 | xs->tunnel->sel.dport_mask | 0-u16max |
| USER_DATA | 1 | xs->tunnel->sel.family | 0,2,10[c] |
| USER_DATA | 1 | xs->tunnel->sel.ifindex | s32min-s32max |
| USER_DATA | 1 | xs->tunnel->sel.prefixlen_d | 0-255 |
| USER_DATA | 1 | xs->tunnel->sel.prefixlen_s | 0-255 |
| USER_DATA | 1 | xs->tunnel->sel.proto | 0-255 |
| USER_DATA | 1 | xs->tunnel->sel.saddr.a4 | 0-u32max |
| USER_DATA | 1 | xs->tunnel->sel.sport | 0-u16max |
| USER_DATA | 1 | xs->tunnel->sel.sport_mask | 0-u16max |
| USER_DATA | 1 | xs->tunnel->sel.user | 0-u32max |
| HALF_LOCKED2 | &bond->ipsec_lock | ||
| HALF_LOCKED2 | global &uld_mutex |