Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/extent_io.c btree_writepages() -> write_meta_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8009773747336749056
PARAM_VALUE 0 ctx->eb 1-u64max
PARAM_VALUE 0 ctx->wbc 268937840601612288,388796424924803072,831053748791767040,5289549940995424256,6525347519402446848,8349933177266966528
PARAM_VALUE 0 ctx->zoned_bg 0,4096-ptr_max
PARAM_VALUE 1 wbc 268937840601612288,388796424924803072,831053748791767040,5289549940995424256,6525347519402446848,8349933177266966528
PARAM_VALUE 1 wbc->inode 0,4096-ptr_max
PARAM_VALUE 1 wbc->wb 0,4096-ptr_max
DATA_SOURCE 1 wbc $1
STR_LEN 1 wbc->inode (-1)
NOSPEC 1 wbc->inode->i_bytes
NOSPEC 1 wbc->inode->i_mode
NOSPEC 1 wbc->inode->i_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 wbc->inode->__i_nlink 1-u32max
USER_DATA 1 wbc->inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 1 wbc->inode->i_bytes 0-65023[c]
USER_DATA 1 wbc->inode->i_ino 0-u64max
USER_DATA 1 wbc->inode->i_mode 0-u16max
USER_DATA 1 wbc->inode->i_rdev 0-u32max[c]
USER_DATA 1 wbc->inode->i_size (-9223372036854775807)-s64max
USER_DATA 1 wbc->range_end s64min-s64max
USER_DATA 1 wbc->range_start s64min-s64max
NO_OVERFLOW_SIMPLE 1 wbc->inode->i_linklen
HALF_LOCKED2 &fs_info->zoned_meta_io_lock

fs/btrfs/extent_io.c flush_active_meta_bg() -> write_meta_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8009773747336749056
PARAM_VALUE 0 ctx->eb 1-u64max
PARAM_VALUE 0 ctx->eb->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ctx->eb->lock.first_waiter->type 0-1
PARAM_VALUE 0 ctx->wbc 388796424924803072,831053748791767040,5289549940995424256,6525347519402446848,8349933177266966528
PARAM_VALUE 0 ctx->zoned_bg 0,4096-ptr_max
PARAM_VALUE 1 wbc 388796424924803072,831053748791767040,5289549940995424256,6525347519402446848,8349933177266966528
PARAM_VALUE 1 wbc->for_sync 0
PARAM_VALUE 1 wbc->inode 0,4096-ptr_max
PARAM_VALUE 1 wbc->sync_mode 1
PARAM_VALUE 1 wbc->wb 0,4096-ptr_max
PARAM_VALUE 1 wbc->wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 wbc->wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 wbc->wb->dwork.wq->saved_min_active s32min-s32max
DATA_SOURCE 0 ctx $2
DATA_SOURCE 1 wbc $1
STR_LEN 1 wbc->inode (-1)
NOSPEC 1 wbc->inode->i_bytes
NOSPEC 1 wbc->inode->i_mode
NOSPEC 1 wbc->inode->i_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 wbc->inode->__i_nlink 1-u32max
USER_DATA 1 wbc->inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 1 wbc->inode->i_bytes 0-65023[c]
USER_DATA 1 wbc->inode->i_ino 0-u64max
USER_DATA 1 wbc->inode->i_mode 0-u16max
USER_DATA 1 wbc->inode->i_rdev 0-u32max[c]
USER_DATA 1 wbc->inode->i_size (-9223372036854775807)-(-2),0-s64max
USER_DATA 1 wbc->range_end s64min-s64max
USER_DATA 1 wbc->range_start s64min-s64max
NO_OVERFLOW_SIMPLE 1 wbc->inode->i_blkbits
NO_OVERFLOW_SIMPLE 1 wbc->inode->i_linklen
HALF_LOCKED2 &fs_info->zoned_meta_io_lock
HALF_LOCKED2 &mapping->invalidate_lock