Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/lockd/clntproc.c nlmclnt_lock() -> nlmclnt_dequeue_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | block | 7923992509259194368 |
| PARAM_VALUE | 0 | block->b_host | 4096-ptr_max |
| PARAM_VALUE | 0 | block->b_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | block->b_list.prev | 2807794748670816256,7923992509259194368,16045481047390945570 |
| PARAM_VALUE | 0 | block->b_lock | 4096-ptr_max |
| PARAM_VALUE | 0 | block->b_status | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING |