Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/devinet.c devinet_ioctl() -> inet_set_ifa()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 2-u32max
PARAM_VALUE 0 dev->ip_ptr->dev 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr->mc_list->interface->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 dev->ip_ptr->mc_list->interface->dev_tracker->dead 0-1
PARAM_VALUE 0 dev->ip_ptr->mc_list->interface->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 dev->ip_ptr->mc_tomb->interface->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 dev->ip_ptr->mc_tomb->interface->dev_tracker->dead 0-1
PARAM_VALUE 0 dev->ip_ptr->mc_tomb->interface->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 ifa 4096-ptr_max
PARAM_VALUE 1 ifa->ifa_address 0-2147483646,2147483648-u32max
PARAM_VALUE 1 ifa->ifa_local 0-2147483646,2147483648-u32max
PARAM_VALUE 1 ifa->ifa_prefixlen 0,8,16,24,32,255
PARAM_VALUE 1 ifa->ifa_scope 0
PARAM_VALUE 1 ifa->ifa_valid_lft 1-u32max
PARAM_VALUE 1 *ifa->ifa_label 0
BUF_SIZE 1 ifa (-1),120
BUF_SIZE 1 ifa (-1),120
CAPPED_DATA 0 dev->ip_ptr 1
CAPPED_DATA 1 ifa->ifa_local 1
DATA_SOURCE 0 dev r __dev_get_by_name
FUZZY_MAX 1 ifa->ifa_prefixlen 32
NS_CAPABLE 0 12
BIT_INFO 1 ifa->ifa_prefixlen 0x0,0x3f
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
TYPE_LOCK (struct net)->rtnl_mutex