Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/devinet.c __inet_insert_ifa() -> inet_hash_insert()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
PARAM_VALUE 1 ifa->ifa_dev 4096-ptr_max
PARAM_VALUE 1 ifa->ifa_dev->dev 4096-ptr_max
PARAM_VALUE 1 *ifa->ifa_label 0-255
BUF_SIZE 1 ifa (-1),120
BUF_SIZE 1 ifa (-1),120
DATA_SOURCE 1 ifa $0
BIT_INFO 1 ifa->ifa_flags 0x0,0xfffff6a1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 ifa->ifa_flags 0-2,32-162[c]
USER_DATA 1 ifa->ifa_mask 0-u32max[c][u]
USER_DATA 1 ifa->ifa_preferred_lft 0-4294967294
USER_DATA 1 ifa->ifa_prefixlen 0-255
USER_DATA 1 ifa->ifa_scope 0-255
USER_DATA 1 ifa->ifa_valid_lft 1-4294967294
USER_PTR 1 ifa->ifa_label
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex