Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
fs/btrfs/inode.c btrfs_data_csum_ok() -> btrfs_dev_stat_inc_and_print()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 1-u64max |
| PARAM_VALUE | 1 | index | 3 |
| BUF_SIZE | 0 | dev | (-1),1-s32max |
| BUF_SIZE | 0 | dev | (-1),1-s32max |
| DATA_SOURCE | 0 | dev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/scrub.c scrub_stripe_report_errors() -> btrfs_dev_stat_inc_and_print()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | index | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/scrub.c scrub_stripe_report_errors() -> btrfs_dev_stat_inc_and_print()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | index | 3 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/scrub.c scrub_stripe_report_errors() -> btrfs_dev_stat_inc_and_print()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | index | 4 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/scrub.c scrub_write_endio() -> btrfs_dev_stat_inc_and_print()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | index | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/disk-io.c btrfs_end_super_write() -> btrfs_dev_stat_inc_and_print()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | index | 0 |
| BUF_SIZE | 0 | dev | (-1)-s32max |
| BUF_SIZE | 0 | dev | (-1)-s32max |
| STR_LEN | 0 | dev | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| STR_LEN | 0 | dev | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/btrfs/disk-io.c wait_dev_flush() -> btrfs_dev_stat_inc_and_print()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bdev | 1-u64max |
| PARAM_VALUE | 0 | dev->flush_bio.bi_status | 1-255 |
| PARAM_VALUE | 0 | dev->flush_wait.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | dev->flush_wait.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->flush_wait.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->flush_wait.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->flush_wait.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->flush_wait.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &fs_info->tree_log_mutex | ||
| LOCK2 | &info->fs_devices->device_list_mutex | ||
| TYPE_LOCK | (struct btrfs_fs_devices)->device_list_mutex | ||
| TYPE_LOCK | (struct btrfs_fs_info)->tree_log_mutex |
fs/btrfs/bio.c btrfs_log_dev_io_error() -> btrfs_dev_stat_inc_and_print()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bdev | 1-u64max |
| PARAM_VALUE | 1 | index | 0 |
| BUF_SIZE | 0 | dev | (-1)-s32max |
| BUF_SIZE | 0 | dev | (-1)-s32max |
| DATA_SOURCE | 0 | dev | $1 |
| STR_LEN | 0 | dev | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| STR_LEN | 0 | dev | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/btrfs/bio.c btrfs_log_dev_io_error() -> btrfs_dev_stat_inc_and_print()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bdev | 1-u64max |
| PARAM_VALUE | 1 | index | 1 |
| BUF_SIZE | 0 | dev | (-1)-s32max |
| BUF_SIZE | 0 | dev | (-1)-s32max |
| DATA_SOURCE | 0 | dev | $1 |
| STR_LEN | 0 | dev | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| STR_LEN | 0 | dev | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/btrfs/bio.c btrfs_log_dev_io_error() -> btrfs_dev_stat_inc_and_print()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bdev | 1-u64max |
| PARAM_VALUE | 1 | index | 2 |
| BUF_SIZE | 0 | dev | (-1)-s32max |
| BUF_SIZE | 0 | dev | (-1)-s32max |
| DATA_SOURCE | 0 | dev | $1 |
| STR_LEN | 0 | dev | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| STR_LEN | 0 | dev | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/btrfs/bio.c btrfs_repair_io_failure() -> btrfs_dev_stat_inc_and_print()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bdev | 1-u64max |
| PARAM_VALUE | 1 | index | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |