Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/socket.c compat_sock_ioctl_trans() -> sock_do_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | sock | 4096-ptr_max |
| PARAM_VALUE | 1 | sock->ops | 4096-ptr_max |
| PARAM_VALUE | 2 | cmd | 21521,35077,35088,35091-35108,35111,35121-35127,35138-35139,35143-35145,35147,35155-35157,35184-35185,35216-35218,35221 |
| PARAM_VALUE | 3 | arg | 0-u32max |
| BUF_SIZE | 1 | sock | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | sock | s32min-(-2),1-s32max |
| CAPPED_DATA | 2 | cmd | 1 |
| DATA_SOURCE | 1 | sock | $1 |
| DATA_SOURCE | 2 | cmd | $2 |
| DATA_SOURCE | 3 | arg | $3 |
| USER_DATA | 2 | cmd | 21521,35077,35088,35091-35108,35111,35121-35127,35138-35139,351 |
| USER_DATA | 3 | arg | 0-u32max |
| UNITS | 0 | net | unit_byte |
net/socket.c sock_ioctl() -> sock_do_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | sock | 4096-ptr_max |
| PARAM_VALUE | 2 | cmd | 0-35072,35077,35080-35089,35091-35135,35138-35147,35149-35201,35204-35231,35236-35311,35328-35583,35840-2148567301,2148567304-u32max |
| BUF_SIZE | 1 | sock | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | sock | s32min-(-2),1-s32max |
| DATA_SOURCE | 2 | cmd | $1 |
| DATA_SOURCE | 3 | arg | $2 |
| USER_DATA | 2 | cmd | 0-35072,35077,35080-35089,35091-35135,35138-35147,35149-35201,3 |
| USER_DATA | 3 | arg | 0-u64max |
| UNITS | 0 | net | unit_byte |