Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_policy.c make_blackhole() -> (struct xfrm_policy_afinfo)->blackhole_route()

Type Parameter Key Value
PARAM_VALUE 0 net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 net->loopback_dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 1 dst_orig 4096-ptr_max
PARAM_VALUE 1 dst_orig->dev->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 1 dst_orig->dev->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 1 dst_orig->dev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 1 dst_orig->dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 1 dst_orig->dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 1 dst_orig->ops 4096-ptr_max
PARAM_VALUE 1 dst_orig->ops->pcpuc_entries.lock.dep_map->name 0-255
PARAM_VALUE 1 dst_orig->ops->pcpuc_entries.lock.owner (-1)
PARAM_VALUE 1 dst_orig->ops->pcpuc_entries.lock.owner_cpu u32max
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 1 dst_orig (-1)-0,144,152
BUF_SIZE 1 dst_orig (-1)-0,144,152
CAPPED_DATA 1 dst_orig 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 dst_orig $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 bh
HALF_LOCKED2 0 &net->ipv4.mfc_mutex
HALF_LOCKED2 0 &net->ipv6.mfc_mutex