Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ip_input.c ip_list_rcv_finish() -> ip_extract_route_hint()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->_skb_refdst 1-u64max
PARAM_VALUE 1 skb->data->h_proto 2048,34525
PARAM_VALUE 1 skb->dev->ip_ptr->mc_list->crcount 0-255
PARAM_VALUE 1 skb->dev->ip_ptr->mc_list->gsquery 0-255
PARAM_VALUE 1 skb->dev->ip_ptr->mc_list->loaded 0-255
PARAM_VALUE 1 skb->dev->ip_ptr->mc_list->multiaddr 0-4294967295
PARAM_VALUE 1 skb->dev->ip_ptr->mc_list->refcnt.refs.counter s32min-s32max
PARAM_VALUE 1 skb->dev->ip_ptr->mc_list->reporter 0-255
PARAM_VALUE 1 skb->dev->ip_ptr->mc_list->sfmode 0-4294967295
PARAM_VALUE 1 skb->dev->ip_ptr->mc_list->timer.flags 0-4294967295
PARAM_VALUE 1 skb->dev->ip_ptr->mc_list->tm_running 0-255
PARAM_VALUE 1 skb->dev->ip_ptr->mc_list->unsolicit_count 0-255
PARAM_VALUE 1 skb->dev->ip_ptr->mc_list->users s32min-s32max
PARAM_VALUE 1 skb->dev->l3mdev_ops 4096-ptr_max
PARAM_VALUE 1 skb->dev->priv_flags 262144-u32max
PARAM_VALUE 1 *skb->data->h_dest 0-255
PARAM_VALUE 1 *skb->data->h_source 0-255
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 1 skb 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 skb r l3mdev_ip_rcv
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 rcu_read
HALF_LOCKED2 bh