Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_state.c xfrm_state_gc_destroy() -> (struct xfrm_type)->destructor()

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->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 4096-ptr_max
PARAM_VALUE 0 x->type->owner 0,4096-ptr_max
PARAM_VALUE 0 x->type_offload 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
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
CONTAINER 0 -24-888+0 $(-1)
PARAM_COMPARE 0 &x->mtimer != $0->mtimer.base->running
NOCHECK_CALL
HALF_LOCKED2 &pool->lock