Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/devinet.c devinet_ioctl() -> inet_insert_ifa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifa | 4096-ptr_max |
| NS_CAPABLE | 0 | 12 | |
| NOCHECK_CALL | |||
| LOCK2 | &net->rtnl_mutex | ||
| LOCK2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv4/devinet.c devinet_ioctl() -> inet_insert_ifa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifa | 4096-ptr_max |
| PARAM_VALUE | 0 | ifa->ifa_address | 0-2147483646,2147483648-u32max |
| NS_CAPABLE | 0 | 12 | |
| NOCHECK_CALL | |||
| LOCK2 | &net->rtnl_mutex | ||
| LOCK2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv4/devinet.c devinet_ioctl() -> inet_insert_ifa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifa | 4096-ptr_max |
| 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_set_ifa() -> inet_insert_ifa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifa | 4096-ptr_max |
| PARAM_VALUE | 0 | ifa->ifa_address | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 0 | ifa->ifa_local | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 0 | ifa->ifa_prefixlen | 0,8,16,24,32,255 |
| PARAM_VALUE | 0 | ifa->ifa_scope | 0,254 |
| PARAM_VALUE | 0 | ifa->ifa_valid_lft | 1-u32max |
| PARAM_VALUE | 0 | *ifa->ifa_label | 0 |
| BUF_SIZE | 0 | ifa | (-1),120 |
| BUF_SIZE | 0 | ifa | (-1),120 |
| CAPPED_DATA | 0 | ifa->ifa_local | 1 |
| DATA_SOURCE | 0 | ifa | $1 |
| FUZZY_MAX | 0 | ifa->ifa_prefixlen | 32 |
| FUZZY_MAX | 0 | ifa->ifa_scope | 254 |
| NS_CAPABLE | 0 | 12 | |
| BIT_INFO | 0 | ifa->ifa_prefixlen | 0x0,0x3f |
| BIT_INFO | 0 | ifa->ifa_scope | 0x0,0xfe |
| HARD_MAX | 0 | ifa->ifa_scope | 254 |
| LOCK2 | &net->rtnl_mutex | ||
| LOCK2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv4/devinet.c inetdev_event() -> inet_insert_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_address | 2130706433 |
| PARAM_VALUE | 0 | ifa->ifa_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifa->ifa_local | 2130706433 |
| PARAM_VALUE | 0 | ifa->ifa_mask | 4278190080 |
| PARAM_VALUE | 0 | ifa->ifa_prefixlen | 8 |
| PARAM_VALUE | 0 | ifa->ifa_scope | 254 |
| PARAM_VALUE | 0 | ifa->ifa_valid_lft | 1-u32max |
| BUF_SIZE | 0 | ifa | 120 |
| DATA_SOURCE | 0 | ifa | r inet_alloc_ifa |
| NOCHECK_CALL |