Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/fuse/dir.c create_new_entry() -> free_ext_value()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 2048037600292929536,4965205713887404032,5148664503761395712,5338892273911730176 |
| PARAM_VALUE | 0 | args->abort_on_kill | 0 |
| PARAM_VALUE | 0 | args->end | 0 |
| PARAM_VALUE | 0 | args->ext_idx | 0,2-3 |
| PARAM_VALUE | 0 | args->force | 0 |
| PARAM_VALUE | 0 | args->in_numargs | 2-4 |
| PARAM_VALUE | 0 | args->in_pages | 0 |
| PARAM_VALUE | 0 | args->nocreds | 0 |
| PARAM_VALUE | 0 | args->noreply | 0 |
| PARAM_VALUE | 0 | args->out_args | 4096-ptr_max |
| PARAM_VALUE | 0 | args->out_argvar | 0 |
| PARAM_VALUE | 0 | args->out_numargs | 1 |
| PARAM_VALUE | 0 | args->pid | 0-s32max |
| DATA_SOURCE | 0 | args | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &entry->d_lockref.lock |
fs/fuse/dir.c fuse_create_open() -> free_ext_value()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 8006164484597628928 |
| PARAM_VALUE | 0 | args->end | 0 |
| PARAM_VALUE | 0 | args->ext_idx | 0,2-3 |
| PARAM_VALUE | 0 | args->force | 0 |
| PARAM_VALUE | 0 | args->in_numargs | 2-4 |
| PARAM_VALUE | 0 | args->in_pages | 0 |
| PARAM_VALUE | 0 | args->nocreds | 0 |
| PARAM_VALUE | 0 | args->noreply | 0 |
| PARAM_VALUE | 0 | args->out_numargs | 2 |
| PARAM_VALUE | 0 | args->pid | 0-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |