Open Menu /

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_dev_state_flush() -> xfrm_dev_state_free()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->km.state 5
PARAM_VALUE 0 x->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 x->tunnel_users.counter 0
PARAM_VALUE 0 x->xso.dev 4096-ptr_max
CAPPED_DATA 0 x->xs_net.net 1
NOCHECK_CALL

net/xfrm/xfrm_state.c xfrm_dev_state_flush() -> xfrm_dev_state_free()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->xso.dev 4096-ptr_max
NOCHECK_CALL

net/xfrm/xfrm_state.c xfrm_state_gc_destroy() -> xfrm_dev_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->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->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
PARAM_COMPARE 0 &x->mtimer != $0->mtimer.base->running
NOCHECK_CALL
HALF_LOCKED2 &pool->lock