Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/dlm/plock.c dlm_posix_cancel() -> do_lock_cancel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | orig_info | 8006135280934113280 |
| PARAM_VALUE | 0 | orig_info->ex | 0-1 |
| MEM_ZERO | 0 | orig_info | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ls->ls_sem |
fs/dlm/plock.c dlm_posix_lock() -> do_lock_cancel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | orig_info | 4096-ptr_max |
| PARAM_VALUE | 0 | orig_info->ex | 0-1 |
| PARAM_VALUE | 0 | orig_info->optype | 1 |
| PARAM_VALUE | 0 | orig_info->wait | 1 |
| NOSPEC | 0 | orig_info->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | orig_info->ex | 0[c] |
| USER_DATA | 0 | orig_info->start | 0-9223372036854775806,9223372036854775808-u64max[c][u] |
| HALF_LOCKED2 | &ls->ls_sem |