Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/zoned.c btrfs_advance_sb_log() -> sb_zone_is_full()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->cond 0,2-13,15-255
FUZZY_MAX 0 zone->cond 2
RX_PATH
LOCK2 &fs_info->fs_devices->device_list_mutex
LOCK2 &fs_info->tree_log_mutex
TYPE_LOCK (struct btrfs_fs_devices)->device_list_mutex
TYPE_LOCK (struct btrfs_fs_info)->tree_log_mutex

fs/btrfs/zoned.c sb_log_location() -> sb_zone_is_full()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->cond 0,2-255
RX_PATH
TASK_NOT_RUNNING
LOCK2 &fs_info->fs_devices->device_list_mutex
HALF_LOCKED2 &fs_info->tree_log_mutex
TYPE_LOCK (struct btrfs_fs_devices)->device_list_mutex

fs/btrfs/zoned.c sb_write_pointer() -> sb_zone_is_full()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING