Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/afs/fs_probe.c afs_fileserver_probe_result() -> afs_done_one_fs_probe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | server | 4096-ptr_max |
| PARAM_VALUE | 1 | server->probe_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | estate | 4096-ptr_max |
| PARAM_VALUE | 2 | estate->addresses->addrs | 4096-ptr_max |
| NOSPEC | 2 | estate->error | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | estate->error | (-132),(-113)-(-110),(-104)-(-103),(-101),(-99),(-62)[c] |
fs/afs/fs_probe.c afs_fs_probe_not_done() -> afs_done_one_fs_probe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->cells_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | net->cells_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | server | 4096-ptr_max |
| PARAM_VALUE | 1 | server->endpoint_state | 4096-ptr_max |
| PARAM_VALUE | 1 | server->fs_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | server->fs_lock.owner | (-1) |
| PARAM_VALUE | 1 | server->fs_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | server->fs_lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 1 | server->probe_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | estate | 4096-ptr_max |
| PARAM_VALUE | 2 | estate->addresses | 4096-ptr_max |
| PARAM_VALUE | 2 | estate->error | s16min-(-1),1-s16max |
| PARAM_VALUE | 2 | estate->rtt | u32max |
| BUF_SIZE | 2 | estate | 80 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | server | $1 |
| DATA_SOURCE | 2 | estate | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |