Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/ipv4/af_inet.c inet_ioctl() -> devinet_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cmd | 35093,35095,35097,35099,35125 |
| PARAM_VALUE | 2 | ifr | 1523356796754915328 |
| DATA_SOURCE | 1 | cmd | $1 |
| USER_DATA | 1 | cmd | 35093,35095,35097,35099,35125 |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_addr.sa_family | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_broadaddr.sa_family | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_dstaddr.sa_family | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_flags | s16min-s16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_hwaddr.sa_family | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_ivalue | s32min-s32max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.base_addr | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.dma | 0-255 |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.irq | 0-255 |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.mem_end | 0-u64max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.mem_start | 0-u64max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.port | 0-255 |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_mtu | s32min-s32max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_netmask.sa_family | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_settings.size | 0-u32max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_settings.type | 0-u32max |
| UNITS | 0 | net | unit_byte |
| HALF_LOCKED2 | &smc->sk |
net/ipv4/af_inet.c inet_ioctl() -> devinet_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cmd | 35092,35094,35096,35098,35100,35124 |
| PARAM_VALUE | 2 | ifr | 1523356796754915328 |
| DATA_SOURCE | 1 | cmd | $1 |
| USER_DATA | 1 | cmd | 35092,35094,35096,35098,35100,35124 |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_addr.sa_family | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_broadaddr.sa_family | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_dstaddr.sa_family | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_flags | s16min-s16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_hwaddr.sa_family | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_ivalue | s32min-s32max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.base_addr | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.dma | 0-255 |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.irq | 0-255 |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.mem_end | 0-u64max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.mem_start | 0-u64max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_map.port | 0-255 |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_mtu | s32min-s32max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_netmask.sa_family | 0-u16max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_settings.size | 0-u32max |
| USER_DATA | 2 | ifr->ifr_ifru.ifru_settings.type | 0-u32max |
| UNITS | 0 | net | unit_byte |
| HALF_LOCKED2 | &smc->sk |
net/ipv4/ipconfig.c ic_setup_if() -> devinet_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 1824583183996030976 |
| PARAM_VALUE | 1 | cmd | 35094 |
| PARAM_VALUE | 2 | ifr | 1678246542669676544 |
| MEM_ZERO | 2 | ifr |
net/ipv4/ipconfig.c ic_setup_if() -> devinet_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 1824583183996030976 |
| PARAM_VALUE | 1 | cmd | 35100 |
| PARAM_VALUE | 2 | ifr | 1678246542669676544 |
| MEM_ZERO | 2 | ifr |
net/ipv4/ipconfig.c ic_setup_if() -> devinet_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 1824583183996030976 |
| PARAM_VALUE | 1 | cmd | 35098 |
| PARAM_VALUE | 2 | ifr | 1678246542669676544 |
| MEM_ZERO | 2 | ifr |