Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/buffer.c __bh_submit() -> buffer_set_crypto_ctx()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 bh 4096-ptr_max
PARAM_VALUE 1 bh->b_folio 4096-ptr_max
PARAM_VALUE 1 bh->b_folio->mapping->host->i_sb->s_cop->empty_dir 0,86,4096-ptr_max
PARAM_VALUE 1 bh->b_folio->mapping->host->i_sb->s_cop->get_context 0,706,4096-ptr_max
PARAM_VALUE 1 bh->b_folio->mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2704,2712
PARAM_VALUE 1 bh->b_folio->mapping->host->i_sb->s_cop->set_context 0,67,4096-ptr_max
PARAM_VALUE 1 bh->b_folio->mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 bh->b_folio->mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 gfp_mask 3072
BUF_SIZE 1 bh (-1)-s32max
BUF_SIZE 1 bh (-1)-s32max
BUF_SIZE 1 bh->b_private (-1),352,520
CAPPED_DATA 1 bh 1
DATA_SOURCE 0 bio r bio_alloc
DATA_SOURCE 1 bh $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 bh->b_folio->index
NO_OVERFLOW_SIMPLE 1 bh->b_size
USER_PTR 1 bh->b_data