Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/xfrm/xfrm_state.c xfrm_dev_state_delete() -> (struct xfrmdev_ops)->xdo_dev_state_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | xs | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->bydst.pprev | 0 |
| PARAM_VALUE | 1 | xs->byseq.pprev | 0 |
| PARAM_VALUE | 1 | xs->byspi.pprev | 0 |
| PARAM_VALUE | 1 | xs->bysrc.pprev | 0 |
| PARAM_VALUE | 1 | xs->mode_cbs->clone_state | 7975205731614285824 |
| PARAM_VALUE | 1 | xs->mode_cbs->init_state | 894039719160782848 |
| PARAM_VALUE | 1 | xs->mode_cbs->owner | 0,4096-ptr_max |
| PARAM_VALUE | 1 | xs->mode_cbs->user_init | 1162222067439800320 |
| PARAM_VALUE | 1 | xs->state_cache.pprev | 0 |
| PARAM_VALUE | 1 | xs->type->owner | 0 |
| 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->xs_net.net->xfrm.xfrm_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | *xs->aalg->alg_key | 0-255 |
| BUF_SIZE | 1 | xs | (-1)-s32max |
| BUF_SIZE | 1 | xs | (-1)-s32max |
| CAPPED_DATA | 1 | xs->xs_net.net | 1 |
| DATA_SOURCE | 1 | xs | $0 |
| CONTAINER | 0 | -8-808+0 | $(-1) |
| NOSPEC | 1 | xs->id.proto | |
| NOSPEC | 1 | xs->inner_mode.family | |
| NOSPEC | 1 | xs->outer_mode.family | |
| NOSPEC | 1 | xs->props.family | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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.proto | 4,41,43,50-51,60,108[c] |
| USER_DATA | 1 | xs->id.spi | 0-u32max |
| USER_DATA | 1 | xs->inner_mode.family | 2,10 |
| 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 |
| USER_DATA | 1 | xs->mark.v | 0 |
| USER_DATA | 1 | xs->outer_mode.family | 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->props.family | 2,10[c] |
| USER_DATA | 1 | xs->props.flags | 0-255 |
| USER_DATA | 1 | xs->props.mode | 0-5 |
| 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->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.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 |
| 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 | 10[c] |
| 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.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 | &x1->lock | ||
| HALF_LOCKED2 | 1 | &xs->lock |
drivers/net/ethernet/chelsio/cxgb4/cxgb4_main.c cxgb4_xfrm_del_state() -> (struct xfrmdev_ops)->xdo_dev_state_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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_delete | 1-u64max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops->xdo_dev_state_free | 0,1462609734578806784,3566692408891461632,4924893780448645120,5711987509112078336 |
| 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 |
| 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->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.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 | 1 | xs->xso.real_dev->xfrmdev_ops->xdo_dev_state_delete | 1-u64max |
| 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 |
| BUF_SIZE | 1 | xs | (-1)-s32max |
| BUF_SIZE | 1 | xs | (-1)-s32max |
| BUF_SIZE | 1 | xs->xs_net.net | (-1),1-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | xs | $1 |
| NOSPEC | 1 | xs->id.proto | |
| NOSPEC | 1 | xs->inner_mode.family | |
| NOSPEC | 1 | xs->km.seq | |
| NOSPEC | 1 | xs->outer_mode.family | |
| NOSPEC | 1 | xs->props.family | |
| NOSPEC | 1 | xs->props.mode | |
| NOSPEC | 1 | xs->sel.family | |
| 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.proto | 0-254 |
| 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[c] |
| USER_DATA | 1 | xs->props.flags | 0-255 |
| USER_DATA | 1 | xs->props.mode | 0-255 |
| 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 |
| LOCK2 | global &uld_mutex | ||
| HALF_LOCKED2 | &bond->ipsec_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | 1 | &xs->lock | |
| HALF_LOCKED2 | 1 | &xs->xs_net.net->xfrm.xfrm_state_lock |
drivers/net/bonding/bond_main.c bond_ipsec_add_sa_all() -> (struct xfrmdev_ops)->xdo_dev_state_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->flags | 1024-u32max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops->xdo_dev_state_add | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops->xdo_dev_state_delete | 4096-ptr_max |
| PARAM_VALUE | 1 | xs | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->km.state | 5 |
| PARAM_VALUE | 1 | xs->lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | dev | 1 |
| CONTAINER | 0 | -8-808+0 | $(-1) |
| PARAM_COMPARE | 0 | dev | != $1->xso.real_dev |
| PARAM_COMPARE | 1 | xs->xso.real_dev | != $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &bond->ipsec_lock | ||
| LOCK2 | bh | ||
| LOCK2 | 1 | &xs->lock | |
| TYPE_LOCK | (struct bonding)->ipsec_lock | ||
| TYPE_LOCK | (struct xfrm_state)->lock |
drivers/net/bonding/bond_main.c bond_ipsec_del_sa() -> (struct xfrmdev_ops)->xdo_dev_state_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->flags | 1024-u32max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops->xdo_dev_state_delete | 4096-ptr_max |
| PARAM_VALUE | 1 | xs | 4096-ptr_max |
| 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 |
| 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->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.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 | 1 | xs->xso.real_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->xso.real_dev->flags | 1024-u32max |
| PARAM_VALUE | 1 | xs->xso.real_dev->xfrmdev_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->xso.real_dev->xfrmdev_ops->xdo_dev_state_delete | 4096-ptr_max |
| 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 |
| BUF_SIZE | 1 | xs | (-1)-s32max |
| BUF_SIZE | 1 | xs | (-1)-s32max |
| BUF_SIZE | 1 | xs->xs_net.net | (-1),1-s32max |
| DATA_SOURCE | 1 | xs | $1 |
| CONTAINER | 0 | -8-808+0 | $(-1) |
| NOSPEC | 1 | xs->id.proto | |
| NOSPEC | 1 | xs->inner_mode.family | |
| NOSPEC | 1 | xs->km.seq | |
| NOSPEC | 1 | xs->outer_mode.family | |
| NOSPEC | 1 | xs->props.family | |
| NOSPEC | 1 | xs->props.mode | |
| NOSPEC | 1 | xs->sel.family | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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.proto | 0-254 |
| 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[c] |
| USER_DATA | 1 | xs->props.flags | 0-255 |
| USER_DATA | 1 | xs->props.mode | 0-255 |
| 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 | bh | ||
| HALF_LOCKED2 | global &uld_mutex | ||
| HALF_LOCKED2 | 1 | &xs->lock | |
| HALF_LOCKED2 | 1 | &xs->xs_net.net->xfrm.xfrm_state_lock |
drivers/net/bonding/bond_main.c bond_ipsec_del_sa_all() -> (struct xfrmdev_ops)->xdo_dev_state_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->flags | 1024-u32max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops->xdo_dev_state_delete | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->xfrmdev_ops->xdo_dev_state_free | 0,1462609734578806784,3566692408891461632,4924893780448645120,5711987509112078336 |
| PARAM_VALUE | 1 | xs | 4096-ptr_max |
| PARAM_VALUE | 1 | xs->km.state | 0-4,6-255 |
| PARAM_VALUE | 1 | xs->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | xs->xso.real_dev | 0 |
| CONTAINER | 0 | -8-808+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &bond->ipsec_lock | ||
| LOCK2 | bh | ||
| LOCK2 | 1 | &xs->lock | |
| TYPE_LOCK | (struct bonding)->ipsec_lock | ||
| TYPE_LOCK | (struct xfrm_state)->lock |