Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/space-info.c btrfs_preempt_reclaim_metadata_space() -> flush_space()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->balance_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->fs_info->fs_devices->per_profile_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->fs_info->global_block_rsv.reserved 0-18446744073709551614
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->reclaim_size 0
PARAM_VALUE 2 state 1,3,5,11
PARAM_VALUE 3 for_preempt 1
CAPPED_DATA 0 space_info->fs_info->global_block_rsv.reserved 1
CAPPED_DATA 0 space_info->total_bytes 1
DATA_SOURCE 0 space_info r btrfs_find_space_info
FUZZY_MAX 2 state 11
BIT_INFO 2 state 0x1,0xf
HARD_MAX 2 state 11
NOCHECK_CALL
UNITS 1 num_bytes unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/space-info.c do_async_reclaim_data_space() -> flush_space()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->full 0
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 num_bytes u64max
PARAM_VALUE 2 state 9
PARAM_VALUE 3 for_preempt 0
CAPPED_DATA 0 &space_info->tickets 1
DATA_SOURCE 0 space_info $0
PARAM_COMPARE 0 &space_info->tickets != $0->tickets.next
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/space-info.c do_async_reclaim_data_space() -> flush_space()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 num_bytes u64max
PARAM_VALUE 3 for_preempt 0
CAPPED_DATA 0 &space_info->tickets 1
DATA_SOURCE 0 space_info $0
PARAM_COMPARE 0 &space_info->tickets != $0->tickets.next
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/space-info.c do_async_reclaim_metadata_space() -> flush_space()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->balance_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->fs_devices->per_profile_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 state 1-12
PARAM_VALUE 3 for_preempt 0
CAPPED_DATA 2 state 1
DATA_SOURCE 0 space_info $0
DATA_SOURCE 1 num_bytes r btrfs_calc_reclaim_metadata_size
FUZZY_MAX 2 state 12
HARD_MAX 2 state 12
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/space-info.c priority_reclaim_data_space() -> flush_space()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->full 0
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->priority_tickets.prev->next 643370198843097104
PARAM_VALUE 0 space_info->priority_tickets.prev->next->next 4096-ptr_max
PARAM_VALUE 1 num_bytes u64max
PARAM_VALUE 2 state 9
PARAM_VALUE 3 for_preempt 0
DATA_SOURCE 0 space_info $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/btrfs/space-info.c priority_reclaim_metadata_space() -> flush_space()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->balance_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->fs_devices->per_profile_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->priority_tickets.prev->next 643370198843097104
PARAM_VALUE 0 space_info->priority_tickets.prev->next->next 4096-ptr_max
PARAM_VALUE 3 for_preempt 0
DATA_SOURCE 0 space_info $0
DATA_SOURCE 1 num_bytes r btrfs_calc_reclaim_metadata_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL