Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/f2fs/segment.c __update_discard_tree_range() -> __is_discard_back_mergeable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 3145551263954456576 |
| PARAM_VALUE | 0 | cur->len | 1-u32max |
| PARAM_VALUE | 0 | cur->lstart | 0-4294967294 |
| PARAM_VALUE | 1 | back | 24,4096-ptr_max |
| PARAM_VALUE | 2 | max_len | 0-536870911 |
| CAPPED_DATA | 2 | max_len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dcc->cmd_lock | ||
| HALF_LOCKED2 | &sbi->umount_mutex |