Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/atm/ioctl.c vcc_compat_ioctl() -> do_atm_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->compat_ioctl | 1-u64max |
| PARAM_VALUE | 0 | sock->sk->user_back->encaps | 0-4294967295 |
| PARAM_VALUE | 0 | sock->sk->user_back->flags | s32min-s32max |
| PARAM_VALUE | 1 | cmd32 | 0-21583,21586-21599,21601-107404186,1074030082,1074034178,1074292226,1075599392,1075876877,2147771905,2147776001,2148034049,2149341215,3221510263-3221510264,3222820985,3222836278,3223348747 |
| PARAM_VALUE | 2 | *arg | (-4611686018427387904)-4611686018427387903 |
| BUF_SIZE | 0 | sock | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sock | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | sock | $0 |
| DATA_SOURCE | 1 | cmd32 | $1 |
| DATA_SOURCE | 2 | arg | $2 |
| FUZZY_MAX | 1 | cmd32 | 2148034049 |
| USER_DATA | 1 | cmd32 | 0-21583,21586-21599,21601-107404186,1074034178,1074292226 |
| USER_DATA | 2 | arg | 0-u32max |