Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/indirect.c ext4_ind_map_blocks() -> ext4_alloc_branch()

Type Parameter Key Value
PARAM_VALUE 0 handle->h_journal->j_sb_buffer->b_folio->mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 handle->h_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_checksum_type 4
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 1 ar 116244921206992896
PARAM_VALUE 1 ar->flags 0,32,1024,1056,8192,8224,9216,9248
PARAM_VALUE 1 ar->goal 0-u32max
PARAM_VALUE 1 ar->inode 4096-ptr_max
PARAM_VALUE 4 branch 7701809494901993472-ptr_max
PARAM_VALUE 4 branch->bh 0,4096-ptr_max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 4 branch (-1),96
BUF_SIZE 4 branch (-1),96
DATA_SOURCE 0 handle $0
DATA_SOURCE 4 branch r ext4_get_branch
STR_LEN 0 handle (-1)-1
STR_LEN 0 handle (-1)-1
NOSPEC 1 ar->logical
MEM_ZERO 1 ar
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ar->len 1-s32max[c][u]
USER_DATA 1 ar->logical 0-4294967294
HALF_LOCKED2 &inode->i_rwsem