Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/tap.c tap_get_user() -> tap_alloc_skb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | prepad | 2 |
| PARAM_VALUE | 2 | len | 14-1000000000,18446744072709551616-u64max |
| PARAM_VALUE | 3 | linear | 14-3774 |
| PARAM_VALUE | 4 | noblock | 0-1,64 |
| PARAM_VALUE | 5 | err | 2004173529124118528 |
| PARAM_VALUE | 5 | *err | (-22) |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 3 | linear | 1 |
| CAPPED_DATA | 3 | linear | 1 |
| DATA_SOURCE | 4 | noblock | $3 |
| FUZZY_MAX | 4 | noblock | 1 |
| BIT_INFO | 4 | noblock | 0x0,0x41 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | len | 14-1000000000,18446744072709551616-u64max[c] |
| USER_DATA | 4 | noblock | 64[c] |