Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/devinet.c __inet_del_ifa() -> inet_free_ifa()

Type Parameter Key Value
PARAM_VALUE 0 ifa 4096-ptr_max
PARAM_VALUE 0 ifa->addr_lst->next->pprev 1-u64max
PARAM_VALUE 0 ifa->addr_lst.next->pprev 1-u64max
PARAM_VALUE 0 ifa->addr_lst.pprev 0
PARAM_VALUE 0 ifa->ifa_dev 4096-ptr_max
PARAM_VALUE 0 ifa->ifa_dev->dev 4096-ptr_max
PARAM_VALUE 0 ifa->ifa_dev->dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 ifa->ifa_flags 1-u32max
CAPPED_DATA 0 ifa->ifa_dev->dev->nd_net.net 1
CAPPED_DATA 0 ifa->ifa_mask 1
BIT_INFO 0 ifa->ifa_flags 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/devinet.c __inet_del_ifa() -> inet_free_ifa()

Type Parameter Key Value
PARAM_VALUE 0 ifa 4096-ptr_max
PARAM_VALUE 0 ifa->addr_lst->next->pprev 1-u64max
PARAM_VALUE 0 ifa->addr_lst.next->pprev 1-u64max
PARAM_VALUE 0 ifa->addr_lst.pprev 0
PARAM_VALUE 0 ifa->ifa_dev 4096-ptr_max
PARAM_VALUE 0 ifa->ifa_dev->dev 4096-ptr_max
PARAM_VALUE 0 ifa->ifa_dev->dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 ifa->ifa_flags 1-u32max
CAPPED_DATA 0 ifa->ifa_dev->dev->nd_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

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

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

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

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

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

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

net/ipv4/devinet.c inet_insert_ifa() -> inet_free_ifa()

Type Parameter Key Value
PARAM_VALUE 0 ifa 4096-ptr_max
PARAM_VALUE 0 ifa->ifa_local 0
PARAM_VALUE 0 *ifa->ifa_label 0-255
BUF_SIZE 0 ifa (-1),120
BUF_SIZE 0 ifa (-1),120
DATA_SOURCE 0 ifa $0
NS_CAPABLE 0 12
NOCHECK_CALL
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv4/devinet.c inet_rtm_newaddr() -> inet_free_ifa()

Type Parameter Key Value
PARAM_VALUE 0 ifa 4096-ptr_max
PARAM_VALUE 0 ifa->addr_lst.next 0
PARAM_VALUE 0 ifa->addr_lst.pprev 0
PARAM_VALUE 0 ifa->ifa_dev 4096-ptr_max
PARAM_VALUE 0 ifa->ifa_dev->dev 4096-ptr_max
PARAM_VALUE 0 ifa->ifa_flags 1024-u32max
PARAM_VALUE 0 ifa->ifa_valid_lft 1-u32max
BUF_SIZE 0 ifa 120
CAPPED_DATA 0 ifa->ifa_dev->ifa_list 1
DATA_SOURCE 0 ifa r inet_rtm_to_ifa
BIT_INFO 0 ifa->ifa_flags 0x400,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ifa->ifa_mask 0-u32max[c][u]
USER_DATA 0 ifa->ifa_preferred_lft 0-4294967294
USER_DATA 0 ifa->ifa_prefixlen 0-255
USER_DATA 0 ifa->ifa_scope 0-255
USER_DATA 0 ifa->ifa_valid_lft 1-4294967294
USER_DATA 0 *ifa->ifa_label 0-255
USER_PTR 0 ifa->ifa_label
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv4/devinet.c inet_rtm_newaddr() -> inet_free_ifa()

Type Parameter Key Value
PARAM_VALUE 0 ifa 4096-ptr_max
PARAM_VALUE 0 ifa->addr_lst.next 0
PARAM_VALUE 0 ifa->addr_lst.pprev 0
PARAM_VALUE 0 ifa->ifa_dev 4096-ptr_max
BUF_SIZE 0 ifa 120
CAPPED_DATA 0 ifa->ifa_dev->ifa_list 1
CAPPED_DATA 0 ifa->ifa_local 1
CAPPED_DATA 0 ifa->ifa_mask 1
DATA_SOURCE 0 ifa r inet_rtm_to_ifa
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ifa->ifa_flags 0-255
USER_DATA 0 ifa->ifa_mask 0-u32max[c][u]
USER_DATA 0 ifa->ifa_prefixlen 0-255
USER_DATA 0 ifa->ifa_scope 0-255
USER_DATA 0 *ifa->ifa_label 0-255
USER_PTR 0 ifa->ifa_label
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv4/devinet.c inetdev_destroy() -> inet_free_ifa()

Type Parameter Key Value
PARAM_VALUE 0 ifa 1-u64max
PARAM_VALUE 0 ifa->ifa_flags 1-4294967295
NOCHECK_CALL