Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
net/key/af_key.c pfkey_compile_policy() -> xfrm_policy_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->action | 0-1 |
| PARAM_VALUE | 0 | policy->bydst.next | 0 |
| PARAM_VALUE | 0 | policy->bydst.pprev | 0 |
| PARAM_VALUE | 0 | policy->byidx.next | 0 |
| PARAM_VALUE | 0 | policy->byidx.pprev | 0 |
| PARAM_VALUE | 0 | policy->family | 2,10 |
| PARAM_VALUE | 0 | policy->lft.hard_byte_limit | u64max |
| PARAM_VALUE | 0 | policy->lft.hard_packet_limit | u64max |
| PARAM_VALUE | 0 | policy->lft.soft_byte_limit | u64max |
| PARAM_VALUE | 0 | policy->lft.soft_packet_limit | u64max |
| PARAM_VALUE | 0 | policy->lock.magic | 3736018669 |
| PARAM_VALUE | 0 | policy->lock.owner | (-1) |
| PARAM_VALUE | 0 | policy->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.qlen | 0 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | policy->timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | policy->timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | policy->timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->walk.all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.dead | 1 |
| PARAM_VALUE | 0 | policy->xfrm_nr | 0-6 |
| BUF_SIZE | 0 | policy | 1064 |
| DATA_SOURCE | 0 | policy | r xfrm_policy_alloc |
| FUZZY_MAX | 0 | policy->action | 1 |
| FUZZY_MAX | 0 | policy->xfrm_nr | 0 |
| HARD_MAX | 0 | policy->action | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | sk |
net/key/af_key.c pfkey_spdadd() -> xfrm_policy_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->action | 0-1 |
| PARAM_VALUE | 0 | policy->bydst.next->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->bydst.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->byidx.next | 0 |
| PARAM_VALUE | 0 | policy->byidx.pprev | 0 |
| PARAM_VALUE | 0 | policy->family | 0,2,10 |
| PARAM_VALUE | 0 | policy->lock.magic | 3736018669 |
| PARAM_VALUE | 0 | policy->lock.owner | (-1) |
| PARAM_VALUE | 0 | policy->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.qlen | 0 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | policy->selector.family | 0,2,10 |
| PARAM_VALUE | 0 | policy->selector.proto | 0-254 |
| PARAM_VALUE | 0 | policy->timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | policy->timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | policy->timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->walk.all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.dead | 1 |
| BUF_SIZE | 0 | policy | 1064 |
| DATA_SOURCE | 0 | policy | r xfrm_policy_alloc |
| FUZZY_MAX | 0 | policy->action | 1 |
| HARD_MAX | 0 | policy->action | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk | ||
| TYPE_LOCK | (struct netns_xfrm)->xfrm_cfg_mutex |
net/key/af_key.c xfrm_pol_put() -> xfrm_policy_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| PARAM_VALUE | 0 | *policy->xp_net.net->xfrm.policy_count | 0-4294967295 |
| BUF_SIZE | 0 | policy | (-1),1064 |
| BUF_SIZE | 0 | policy | (-1),1064 |
| DATA_SOURCE | 0 | policy | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &vq->mutex | ||
| TYPE_LOCK | (struct netns_xfrm)->xfrm_cfg_mutex |
net/xfrm/xfrm_state.c xfrm_pol_put() -> xfrm_policy_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->action | 0-1 |
| PARAM_VALUE | 0 | policy->bydst.next | 0 |
| PARAM_VALUE | 0 | policy->bydst.pprev | 0 |
| PARAM_VALUE | 0 | policy->byidx.next | 0 |
| PARAM_VALUE | 0 | policy->byidx.pprev | 0 |
| PARAM_VALUE | 0 | policy->family | 2,10 |
| PARAM_VALUE | 0 | policy->lock.magic | 3736018669 |
| PARAM_VALUE | 0 | policy->lock.owner | (-1) |
| PARAM_VALUE | 0 | policy->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->polq.hold_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | policy->timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | policy->timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->walk.all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->xfrm_nr | 0-6 |
| PARAM_VALUE | 0 | *policy->xp_net.net->xfrm.policy_count | 0-4294967295 |
| BUF_SIZE | 0 | policy | (-1),1064 |
| BUF_SIZE | 0 | policy | (-1),1064 |
| DATA_SOURCE | 0 | policy | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | policy->action | 0-1[u] |
| USER_DATA | 0 | policy->family | 2,10[u] |
| USER_DATA | 0 | policy->flags | 0-255[u] |
| USER_DATA | 0 | policy->lft.hard_add_expires_seconds | 0-u64max[u] |
| USER_DATA | 0 | policy->lft.hard_byte_limit | 0-u64max[u] |
| USER_DATA | 0 | policy->lft.hard_packet_limit | 0-u64max[u] |
| USER_DATA | 0 | policy->lft.hard_use_expires_seconds | 0-u64max[u] |
| USER_DATA | 0 | policy->lft.soft_add_expires_seconds | 0-u64max[u] |
| USER_DATA | 0 | policy->lft.soft_byte_limit | 0-u64max[u] |
| USER_DATA | 0 | policy->lft.soft_packet_limit | 0-u64max[u] |
| USER_DATA | 0 | policy->lft.soft_use_expires_seconds | 0-u64max[u] |
| USER_DATA | 0 | policy->priority | 0-u32max[u] |
| USER_DATA | 0 | policy->selector.daddr.a4 | 0-u32max[u] |
| USER_DATA | 0 | policy->selector.dport | 0-u16max[u] |
| USER_DATA | 0 | policy->selector.dport_mask | 0-u16max[u] |
| USER_DATA | 0 | policy->selector.family | 2,10[u] |
| USER_DATA | 0 | policy->selector.ifindex | s32min-s32max[u] |
| USER_DATA | 0 | policy->selector.prefixlen_d | 0-128[u] |
| USER_DATA | 0 | policy->selector.prefixlen_s | 0-128[u] |
| USER_DATA | 0 | policy->selector.proto | 0-255[u] |
| USER_DATA | 0 | policy->selector.saddr.a4 | 0-u32max[u] |
| USER_DATA | 0 | policy->selector.sport | 0-u16max[u] |
| USER_DATA | 0 | policy->selector.sport_mask | 0-u16max[u] |
| USER_DATA | 0 | policy->selector.user | 0-u32max[u] |
| USER_DATA | 0 | policy->xfrm_nr | 1-6[c] |
| HALF_LOCKED2 | sk |
net/ipv4/xfrm4_policy.c xfrm_pol_put() -> xfrm_policy_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| DATA_SOURCE | 0 | policy | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/xfrm/xfrm_user.c xfrm_add_policy() -> xfrm_policy_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->action | 0-1 |
| PARAM_VALUE | 0 | policy->bydst.next->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->bydst.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->byidx.next | 0 |
| PARAM_VALUE | 0 | policy->byidx.pprev | 0 |
| PARAM_VALUE | 0 | policy->family | 2,10 |
| PARAM_VALUE | 0 | policy->lock.magic | 3736018669 |
| PARAM_VALUE | 0 | policy->lock.owner | (-1) |
| PARAM_VALUE | 0 | policy->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.qlen | 0 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | policy->selector.family | 2,10 |
| PARAM_VALUE | 0 | policy->selector.prefixlen_d | 0-128 |
| PARAM_VALUE | 0 | policy->selector.prefixlen_s | 0-128 |
| PARAM_VALUE | 0 | policy->timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | policy->timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | policy->timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->type | 0-1 |
| PARAM_VALUE | 0 | policy->walk.all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.dead | 1 |
| PARAM_VALUE | 0 | policy->xdo.dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.pool->dev->iommu->lock.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.pool->dev->iommu->priv->domain->pd_mode | 0-2 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.pool->dev->iommu->priv->domain->pscid | (-4095)-s32max |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.token | 1-255 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.vars.throttle_sem.count | 0-4294967295 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.vars.throttle_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.vars.throttle_sem.lock.owner | (-1) |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.vars.throttle_sem.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.vars.unprivileged_sem.count | 0-4294967295 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.vars.unprivileged_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.vars.unprivileged_sem.lock.owner | (-1) |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->cmd.vars.unprivileged_sem.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->priv.eswitch->mode_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->priv.eswitch->mode_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->priv.eswitch->state_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->priv.eswitch->state_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->priv.fc_stats->fc_pool.available_units | s32min-s32max |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->priv.fc_stats->fc_pool.dev->cmd.token | 0-255 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->priv.fc_stats->fc_pool.threshold | s32min-s32max |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->mdev->priv.fc_stats->fc_pool.used_units | s32min-s32max |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->roce->tx.ft->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->roce->tx.ft->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->roce->tx.ft->node.parent->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->roce->tx.ft->node.parent->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->roce->tx.g->node.parent->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->roce->tx.g->node.parent->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec->roce->tx.goto_alias_ft->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec_rule.modify_hdr->fs_hws_action.fs_pool->threshold | s32min-s32max |
| PARAM_VALUE | 0 | policy->xdo.offload_handle->ipsec_rule.modify_hdr->fs_hws_action.fs_pool->used_units | s32min-s32max |
| PARAM_VALUE | 0 | policy->xfrm_nr | 0-6 |
| PARAM_VALUE | 0 | policy->xp_net.net | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->xp_net.net->xfrm.inexact_bins.next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->xp_net.net->xfrm.inexact_bins.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->xp_net.net->xfrm.inexact_bins.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->xp_net.net->xfrm.xfrm_policy_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *policy->xdo.offload_handle->ipsec->mdev->cmd.vars.throttle_sem.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *policy->xdo.offload_handle->ipsec->mdev->cmd.vars.unprivileged_sem.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *policy->xdo.offload_handle->ipsec->roce->devcom->comp->sem->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *policy->xdo.offload_handle->ipsec->roce->devcom->comp->sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *policy->xdo.offload_handle->ipsec->roce->devcom->comp->sem.first_waiter->list.prev | 2212933610777083904 |
| BUF_SIZE | 0 | policy | 1064 |
| CAPPED_DATA | 0 | policy->xp_net.net | 1 |
| DATA_SOURCE | 0 | policy | r xfrm_policy_construct |
| NOSPEC | 0 | policy->type | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | policy->action | 0-1 |
| USER_DATA | 0 | policy->family | 2,10 |
| USER_DATA | 0 | policy->flags | 0-255 |
| USER_DATA | 0 | policy->index | 0-u32max |
| USER_DATA | 0 | policy->lft.hard_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->lft.hard_byte_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.hard_packet_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.hard_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_byte_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_packet_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->priority | 0-u32max |
| USER_DATA | 0 | policy->selector.dport | 0-u16max |
| USER_DATA | 0 | policy->selector.dport_mask | 0-u16max |
| USER_DATA | 0 | policy->selector.family | 2,10 |
| USER_DATA | 0 | policy->selector.ifindex | s32min-s32max |
| USER_DATA | 0 | policy->selector.prefixlen_d | 0-128 |
| USER_DATA | 0 | policy->selector.prefixlen_s | 0-128 |
| USER_DATA | 0 | policy->selector.proto | 0-255 |
| USER_DATA | 0 | policy->selector.sport | 0-u16max |
| USER_DATA | 0 | policy->selector.sport_mask | 0-u16max |
| USER_DATA | 0 | policy->selector.user | 0-u32max |
| USER_DATA | 0 | policy->type | 0-1 |
| USER_DATA | 0 | policy->xfrm_nr | 1-6[c] |
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read |
net/xfrm/xfrm_user.c xfrm_pol_put() -> xfrm_policy_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| PARAM_VALUE | 0 | *policy->xp_net.net->xfrm.policy_count | 0-4294967295 |
| BUF_SIZE | 0 | policy | (-1),1064 |
| BUF_SIZE | 0 | policy | (-1),1064 |
| DATA_SOURCE | 0 | policy | $0 |
| NOSPEC | 0 | policy->type | |
| NOSPEC | 0 | policy->xfrm_nr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | policy->action | 0-1 |
| USER_DATA | 0 | policy->family | 2,10 |
| USER_DATA | 0 | policy->flags | 0-255 |
| USER_DATA | 0 | policy->index | 1-u32max[c] |
| USER_DATA | 0 | policy->lft.hard_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->lft.hard_byte_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.hard_packet_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.hard_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_byte_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_packet_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->priority | 0-u32max |
| USER_DATA | 0 | policy->selector.dport | 0-u16max |
| USER_DATA | 0 | policy->selector.dport_mask | 0-u16max |
| USER_DATA | 0 | policy->selector.family | 2,10 |
| USER_DATA | 0 | policy->selector.ifindex | s32min-s32max |
| USER_DATA | 0 | policy->selector.prefixlen_d | 0-128 |
| USER_DATA | 0 | policy->selector.prefixlen_s | 0-128 |
| USER_DATA | 0 | policy->selector.proto | 0-255 |
| USER_DATA | 0 | policy->selector.sport | 0-u16max |
| USER_DATA | 0 | policy->selector.sport_mask | 0-u16max |
| USER_DATA | 0 | policy->selector.user | 0-u32max |
| USER_DATA | 0 | policy->type | 0-1 |
| USER_DATA | 0 | policy->xfrm_nr | 1-6[c] |
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read |
net/xfrm/xfrm_user.c xfrm_policy_construct() -> xfrm_policy_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->action | 0-1 |
| PARAM_VALUE | 0 | policy->bydst.next | 0 |
| PARAM_VALUE | 0 | policy->bydst.pprev | 0 |
| PARAM_VALUE | 0 | policy->byidx.next | 0 |
| PARAM_VALUE | 0 | policy->byidx.pprev | 0 |
| PARAM_VALUE | 0 | policy->family | 2,10 |
| PARAM_VALUE | 0 | policy->lock.magic | 3736018669 |
| PARAM_VALUE | 0 | policy->lock.owner | (-1) |
| PARAM_VALUE | 0 | policy->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->polq.hold_queue.qlen | 0 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | policy->polq.hold_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | policy->selector.family | 2,10 |
| PARAM_VALUE | 0 | policy->selector.prefixlen_d | 0-128 |
| PARAM_VALUE | 0 | policy->selector.prefixlen_s | 0-128 |
| PARAM_VALUE | 0 | policy->timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | policy->timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | policy->timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | policy->walk.all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->walk.dead | 1 |
| BUF_SIZE | 0 | policy | 1064 |
| DATA_SOURCE | 0 | policy | r xfrm_policy_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | policy->action | 0-1 |
| USER_DATA | 0 | policy->family | 2,10 |
| USER_DATA | 0 | policy->flags | 0-255 |
| USER_DATA | 0 | policy->index | 0-u32max |
| USER_DATA | 0 | policy->lft.hard_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->lft.hard_byte_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.hard_packet_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.hard_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_byte_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_packet_limit | 0-u64max |
| USER_DATA | 0 | policy->lft.soft_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | policy->priority | 0-u32max |
| USER_DATA | 0 | policy->selector.dport | 0-u16max |
| USER_DATA | 0 | policy->selector.dport_mask | 0-u16max |
| USER_DATA | 0 | policy->selector.family | 2,10 |
| USER_DATA | 0 | policy->selector.ifindex | s32min-s32max |
| USER_DATA | 0 | policy->selector.prefixlen_d | 0-128 |
| USER_DATA | 0 | policy->selector.prefixlen_s | 0-128 |
| USER_DATA | 0 | policy->selector.proto | 0-255 |
| USER_DATA | 0 | policy->selector.sport | 0-u16max |
| USER_DATA | 0 | policy->selector.sport_mask | 0-u16max |
| USER_DATA | 0 | policy->selector.user | 0-u32max |
| USER_DATA | 0 | policy->type | 0-1 |
| USER_DATA | 0 | policy->xfrm_nr | 1-6[c] |
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read |
net/ipv6/xfrm6_policy.c xfrm_pol_put() -> xfrm_policy_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| DATA_SOURCE | 0 | policy | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/xfrm/xfrm_policy.c xfrm_pol_put() -> xfrm_policy_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| PARAM_VALUE | 0 | *policy->xp_net.net->xfrm.policy_count | 0-4294967295 |
| BUF_SIZE | 0 | policy | (-1),1064 |
| BUF_SIZE | 0 | policy | (-1),1064 |
| DATA_SOURCE | 0 | policy | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &net->xfrm.xfrm_policy_lock | ||
| HALF_LOCKED2 | &pq->hold_queue.lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |