Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/btrfs/ordered-data.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-9223372036854775807 |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 74169900424097792,3214204479715418112,9083642526219137024 |
| BUF_SIZE | 4 | cached_state | (-1),8 |
| BUF_SIZE | 4 | cached_state | (-1),8 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-9223372036854775806[c] |
| USER_DATA | 2 | end | 0-4294963197,u64max[u] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
fs/btrfs/tree-log.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 1948384778809356288 |
| PARAM_VALUE | 4 | *cached_state | 0 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
fs/btrfs/file.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 519879164026650624,1955824220943892480,2447637895045861376,4434006132810223616,6180677299703959552,9102257358825279488 |
| BUF_SIZE | 0 | tree | (-1),96 |
| BUF_SIZE | 0 | tree | (-1),96 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-9223372036854775807[c] |
| USER_DATA | 2 | end | 0-9223372041149743101[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| HALF_LOCKED2 | &inode->i_mmap_lock |
fs/btrfs/inode.c btrfs_finish_one_ordered() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 3 | bits | 32770 |
| PARAM_VALUE | 4 | cached_state | 8546195451074748416 |
| PARAM_VALUE | 4 | *cached_state | 0 |
| BUF_SIZE | 0 | tree | 96 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | start | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
fs/btrfs/inode.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 4096-ptr_max |
| BUF_SIZE | 0 | tree | (-1),96 |
| BUF_SIZE | 0 | tree | (-1),96 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-5294967294[c] |
| USER_DATA | 2 | end | 0-6442450941,u64max |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->vfs_inode.i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/extent_io.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 513883459811622912,1318380676555145216,6270468318468919296 |
| BUF_SIZE | 0 | tree | (-1),96 |
| BUF_SIZE | 0 | tree | (-1),96 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
fs/btrfs/direct-io.c btrfs_lock_dio_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 3 | bits | 4 |
| PARAM_VALUE | 4 | cached_state | 4736794536619286528 |
| PARAM_VALUE | 4 | *cached_state | 0 |
| BUF_SIZE | 0 | tree | 96 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-u64max |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/btrfs/direct-io.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 0 | tree->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 4736794536619286528 |
| BUF_SIZE | 0 | tree | 96 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-u64max |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/btrfs/free-space-cache.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 4213788285026729984,5846212430327271424 |
| PARAM_VALUE | 4 | *cached_state | 0 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &trans->transaction->cache_write_mutex |
fs/btrfs/relocation.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 3735303351545520128,6026103247564840960,6560932744474435584,6730005139490516992 |
| PARAM_VALUE | 4 | *cached_state | 0 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| HALF_LOCKED2 | &fs_info->cleaner_mutex | ||
| HALF_LOCKED2 | &inode->vfs_inode.i_rwsem |
fs/btrfs/defrag.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 2341501471606366208,3356047926390734848,7669145342631985152 |
| BUF_SIZE | 0 | tree | (-1),96 |
| BUF_SIZE | 0 | tree | (-1),96 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| USER_DATA | 1 | start | 0-9223372039002259454[c] |
| NO_OVERFLOW_SIMPLE | 1 | start | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| LOCK2 | &inode->vfs_inode.i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/btrfs/extent_map.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 0 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | start | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/disk-io.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 8089651686503477248 |
| PARAM_VALUE | 4 | *cached_state | 0 |
| BUF_SIZE | 0 | tree | 96 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| BIT_INFO | 1 | start | 0x0,0x7fffffffffffffff |
| BIT_INFO | 1 | start | 0x0,0x7fffffffffffffff |
| BIT_INFO | 2 | end | 0x0,0x7fffffffffffffff |
| BIT_INFO | 2 | end | 0x0,0x7fffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/btrfs/compression.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-18446744073709551614 |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 0 |
| BUF_SIZE | 0 | tree | 96 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | start | |
| UNITS | 1 | start | unit_byte |
fs/btrfs/reflink.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 1091491369967710208,8850145704558022656 |
| PARAM_VALUE | 4 | *cached_state | 0 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-9223372036854775807[c] |
| NO_OVERFLOW_SIMPLE | 1 | start | |
| UNITS | 1 | start | unit_byte |
fs/btrfs/fiemap.c btrfs_lock_extent() -> btrfs_lock_extent_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tree | 4096-ptr_max |
| PARAM_VALUE | 3 | bits | 2 |
| PARAM_VALUE | 4 | cached_state | 1652421000931901440 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | tree | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| DATA_SOURCE | 4 | cached_state | $3 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| USER_DATA | 1 | start | 0-18446744073709551614[c] |
| UNITS | 2 | end | unit_byte |
| LOCK2 | &inode->vfs_inode.i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |