Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_policy.c xfrm_policy_migrate() -> migrate_tmpl_match()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-u64max
PARAM_VALUE 1 t 4096-ptr_max
BUF_SIZE 0 m (-1),864
BUF_SIZE 0 m (-1),864
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 m->mode 0-255
USER_DATA 0 m->new_family 0-u16max
USER_DATA 0 m->old_family 0-u16max
USER_DATA 0 m->old_reqid 0-u32max
USER_DATA 0 m->proto 0-255
LOCK2 &pol->lock
LOCK2 bh
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
TYPE_LOCK (struct xfrm_policy)->lock