Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->dirty_metadata_bytes.lock.dep_map->name 0-255
PARAM_VALUE 0 eb->fs_info->dirty_metadata_bytes.lock.owner (-1)
PARAM_VALUE 0 eb->fs_info->dirty_metadata_bytes.lock.owner_cpu u32max
PARAM_VALUE 0 eb->lock.first_waiter->handoff_set 1
PARAM_VALUE 0 eb->lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 eb->lock.first_waiter->type 0-1
PARAM_VALUE 0 eb->lock_owner 0
PARAM_VALUE 0 eb->refs_lock.rlock.dep_map->name 0-255
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
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
CAPPED_DATA 0 eb->fs_info->dirty_metadata_batch 1
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
NOCHECK_CALL
USER_DATA 1 wbc->index 0-2251799813685248,4503599627370496,18444492273895866368-u64max
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_blkbits
NO_OVERFLOW_SIMPLE 1 wbc->inode->i_linklen
HALF_LOCKED2 &fs_info->zoned_meta_io_lock