Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/volumes.c handle_missing_device() -> btrfs_report_missing_device()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 0 fs_info->mapping_tree_lock.dep_map->name 0-255
PARAM_VALUE 2 uuid 7217603942211727360
PARAM_VALUE 3 error 1
BUF_SIZE 2 uuid 16
BUF_SIZE 2 uuid 16
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 1 devid $1
DATA_SOURCE 2 uuid $2
BIT_INFO 0 fs_info->mount_opt 0x0,0xffffffffffffffef
NOCHECK_CALL
UNITS 0 fs_info unit_byte
HALF_LOCKED2 global &uuid_mutex

fs/btrfs/volumes.c handle_missing_device() -> btrfs_report_missing_device()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 0 fs_info->fs_devices->devices.next 4096-ptr_max
PARAM_VALUE 0 fs_info->fs_devices->devices.next->next 4096-ptr_max
PARAM_VALUE 0 fs_info->fs_devices->devices.next->prev 4096-ptr_max
PARAM_VALUE 0 fs_info->mapping_tree_lock.dep_map->name 0-255
PARAM_VALUE 0 fs_info->mount_opt 16-u64max
PARAM_VALUE 2 uuid 7217603942211727360
PARAM_VALUE 3 error 0
BUF_SIZE 2 uuid 16
BUF_SIZE 2 uuid 16
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 1 devid $1
DATA_SOURCE 2 uuid $2
BIT_INFO 0 fs_info->mount_opt 0x10,0xffffffffffffffff
NOCHECK_CALL
UNITS 0 fs_info unit_byte
HALF_LOCKED2 global &uuid_mutex

fs/btrfs/volumes.c read_one_dev() -> btrfs_report_missing_device()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 2 uuid 6962239839000072192
PARAM_VALUE 3 error 1
BUF_SIZE 2 uuid 16
DATA_SOURCE 1 devid r btrfs_device_id
BIT_INFO 0 fs_info->mount_opt 0x0,0xffffffffffffffef
NOCHECK_CALL
UNITS 0 fs_info unit_byte
LOCK2 global &uuid_mutex

fs/btrfs/volumes.c read_one_dev() -> btrfs_report_missing_device()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 0 fs_info->mount_opt 16-u64max
PARAM_VALUE 2 uuid 6962239839000072192
PARAM_VALUE 3 error 0
BUF_SIZE 2 uuid 16
DATA_SOURCE 1 devid r btrfs_device_id
BIT_INFO 0 fs_info->mount_opt 0x10,0xffffffffffffffff
NOCHECK_CALL
UNITS 0 fs_info unit_byte
LOCK2 global &uuid_mutex

fs/btrfs/volumes.c read_one_dev() -> btrfs_report_missing_device()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 2 uuid 6962239839000072192
PARAM_VALUE 3 error 1
BUF_SIZE 2 uuid 16
DATA_SOURCE 1 devid r btrfs_device_id
BIT_INFO 0 fs_info->mount_opt 0x0,0xffffffffffffffef
NOCHECK_CALL
UNITS 0 fs_info unit_byte
LOCK2 global &uuid_mutex

fs/btrfs/volumes.c read_one_dev() -> btrfs_report_missing_device()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 0 fs_info->mount_opt 16-u64max
PARAM_VALUE 2 uuid 6962239839000072192
PARAM_VALUE 3 error 0
BUF_SIZE 2 uuid 16
DATA_SOURCE 1 devid r btrfs_device_id
BIT_INFO 0 fs_info->mount_opt 0x10,0xffffffffffffffff
NOCHECK_CALL
UNITS 0 fs_info unit_byte
LOCK2 global &uuid_mutex