Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_state.c xfrm_state_gc_destroy() -> security_xfrm_state_free()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->aalg 0,16,4096-ptr_max
PARAM_VALUE 0 x->aead 0,16,4096-ptr_max
PARAM_VALUE 0 x->dev_gclist->next->pprev 1-u64max
PARAM_VALUE 0 x->ealg 0,16,4096-ptr_max
PARAM_VALUE 0 x->mode_cbs 0,4096-ptr_max
PARAM_VALUE 0 x->mode_cbs->destroy_state 2629703515136987136
PARAM_VALUE 0 x->mode_cbs->owner 0,4096-ptr_max
PARAM_VALUE 0 x->rtimer.entry.pprev 0
PARAM_VALUE 0 x->rtimer.flags 0-4194302
PARAM_VALUE 0 x->rtimer.function 0
PARAM_VALUE 0 x->tunnel 0
PARAM_VALUE 0 x->type 0,4096-ptr_max
PARAM_VALUE 0 x->type->owner 0,4096-ptr_max
PARAM_VALUE 0 x->type->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 x->type_offload 0
PARAM_VALUE 0 x->xfrag.page 0,4096-ptr_max
PARAM_VALUE 0 x->xso.dev 0,4096-ptr_max
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock.dep_map->name 0-255
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock.first_waiter->list.next 5159360019465732096
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 x->xso.dev->priv->ipsec_lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 x->xso.dev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 x->xso.dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 x->xso.dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 x->xso.dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 x->xso.dev_tracker->dead 0-1
PARAM_VALUE 0 x->xso.dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 x->xso.offload_handle->dwork->dwork.work.lockdep_map->name 0-255
PARAM_VALUE 0 x->xso.offload_handle->ipsec->ipsec_obj_id_map.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.pool->dev->iommu->priv->domain->pd_mode 0-2
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.pool->dev->iommu->priv->domain->pscid (-4095)-s32max
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.pool->next_block->next_block 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.token 1-255
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.vars.throttle_sem.count 0-4294967295
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.vars.throttle_sem.last_holder 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.vars.throttle_sem.lock.owner (-1)
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.vars.throttle_sem.lock.owner_cpu 4294967295
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.vars.unprivileged_sem.count 0-4294967295
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.vars.unprivileged_sem.last_holder 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.vars.unprivileged_sem.lock.owner (-1)
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->cmd.vars.unprivileged_sem.lock.owner_cpu 4294967295
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->priv.eswitch->mode_lock.dep_map->name 0-255
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->priv.eswitch->mode_lock.first_waiter->type 0-1
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->priv.eswitch->mode_lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->priv.eswitch->offloads.ft_ipsec_tx_pol 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->priv.eswitch->state_lock.dep_map->name 0-255
PARAM_VALUE 0 x->xso.offload_handle->ipsec->mdev->priv.eswitch->state_lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft->lock.first_waiter->list.next 5159360019465732096
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft->lock.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft->lock.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft->lock.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft->lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft->node.del_hw_func 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft->node.parent->active 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft->node.parent->del_hw_func 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft->node.parent->lock.first_waiter->type 0-1
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.ft->node.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.g->node.del_hw_func 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.g->node.parent->active 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.g->node.parent->del_hw_func 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.g->node.parent->lock.first_waiter->type 0-1
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.goto_alias_ft->lock.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.goto_alias_ft->lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.goto_alias_ft->node.del_hw_func 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.goto_alias_ft->node.parent->active 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec->roce->tx.goto_alias_ft->node.parent->del_hw_func 0
PARAM_VALUE 0 x->xso.offload_handle->ipsec_rule.auth.fc->type 0-4294967295
PARAM_VALUE 0 x->xso.offload_handle->ipsec_rule.fc->type 0-4294967295
PARAM_VALUE 0 x->xso.offload_handle->ipsec_rule.modify_hdr->fs_hws_action.fs_pool->threshold s32min-s32max
PARAM_VALUE 0 x->xso.offload_handle->ipsec_rule.modify_hdr->fs_hws_action.fs_pool->used_units s32min-s32max
PARAM_VALUE 0 x->xso.offload_handle->ipsec_rule.pkt_reformat->fs_hws_action.fw_reformat_id 0-4294967295
PARAM_VALUE 0 x->xso.offload_handle->ipsec_rule.replay.fc->type 0-4294967295
PARAM_VALUE 0 x->xso.offload_handle->ipsec_rule.trailer.fc->type 0-4294967295
PARAM_VALUE 0 x->xso.offload_handle->work->work.lockdep_map->name 0-255
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock.dep_map->name 0-255
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock.first_waiter->list.next 5159360019465732096
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 x->xso.real_dev->priv->ipsec_lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 x->xso.type 0
PARAM_VALUE 0 *x->tunnel->xso->dev->name 0-255
PARAM_VALUE 0 *x->tunnel->xso.dev->name 0-255
PARAM_VALUE 0 *x->tunnel->xso.dev->priv->dp.netdev->name 0-255
PARAM_VALUE 0 *x->tunnel->xso.dev->priv->netdev->name 0-255
PARAM_VALUE 0 *x->tunnel->xso.real_dev->name 0-255
PARAM_VALUE 0 *x->tunnel->xso.real_dev->priv->dp.netdev->name 0-255
PARAM_VALUE 0 *x->tunnel->xso.real_dev->priv->netdev->name 0-255
PARAM_VALUE 0 *x->xso->dev->priv->ipsec_lock.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *x->xso.dev->priv->ipsec_lock.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *x->xso.offload_handle->ipsec->mdev->cmd.vars.throttle_sem.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *x->xso.offload_handle->ipsec->mdev->cmd.vars.unprivileged_sem.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *x->xso.offload_handle->ipsec->roce->devcom->comp->sem->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *x->xso.offload_handle->ipsec->roce->devcom->comp->sem.dep_map->name 0-255
PARAM_VALUE 0 *x->xso.offload_handle->ipsec->roce->devcom->comp->sem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 *x->xso.offload_handle->ipsec_rule->modify_hdr->fs_hws_action.mh_data->data 0-255
PARAM_VALUE 0 *x->xso.offload_handle->ipsec_rule->pkt_reformat->fs_hws_action.pr_data->data 0-255
PARAM_VALUE 0 *x->xso.offload_handle->work->data (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *x->xso.real_dev->priv->ipsec_lock.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
CAPPED_DATA 0 x 1
CAPPED_DATA 0 x->calg 1
CAPPED_DATA 0 x->coaddr 1
CAPPED_DATA 0 x->encap 1
CAPPED_DATA 0 x->mtimer.base 1
CAPPED_DATA 0 x->preplay_esn 1
CAPPED_DATA 0 x->replay_esn 1
CAPPED_DATA 0 &x->mtimer 1
CAPPED_DATA 0 &x->rtimer 1
DATA_SOURCE 0 x $0
PARAM_COMPARE 0 &x->mtimer != $0->mtimer.base->running
NOCHECK_CALL
HALF_LOCKED2 &pool->lock