Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/ip6mr.c ip6_mroute_setsockopt() -> ip6mr_mfc_add()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv6.mfc_mutex.dep_map->name 0-255
PARAM_VALUE 0 net->ipv6.mfc_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 net->ipv6.mfc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 net->ipv6.mfc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 net->ipv6.mfc_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 net->ipv6.mfc_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 net->ipv6.mfc_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 mrt 4096-ptr_max
PARAM_VALUE 2 mfc 1227449353893048320
PARAM_VALUE 3 mrtsock 0-1
PARAM_VALUE 4 parent (-1)-u16max
CAPPED_DATA 0 &net->ipv6.mfc_mutex 1
CAPPED_DATA 1 mrt->id 1
DATA_SOURCE 1 mrt r ip6mr_get_table
FUZZY_MAX 3 mrtsock 1
HARD_MAX 3 mrtsock 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 mfc->mf6cc_mcastgrp.sin6_family 0-u16max
USER_DATA 2 mfc->mf6cc_mcastgrp.sin6_flowinfo 0-u32max
USER_DATA 2 mfc->mf6cc_mcastgrp.sin6_port 0-u16max
USER_DATA 2 mfc->mf6cc_mcastgrp.sin6_scope_id 0-u32max
USER_DATA 2 mfc->mf6cc_origin.sin6_family 0-u16max
USER_DATA 2 mfc->mf6cc_origin.sin6_flowinfo 0-u32max
USER_DATA 2 mfc->mf6cc_origin.sin6_port 0-u16max
USER_DATA 2 mfc->mf6cc_origin.sin6_scope_id 0-u32max
USER_DATA 2 mfc->mf6cc_parent 0-u16max
USER_DATA 4 parent 0-u16max
UNITS 0 net unit_byte
LOCK2 0 &net->ipv6.mfc_mutex
TYPE_LOCK (struct netns_ipv6)->mfc_mutex