Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ext4/verity.c ext4_write_merkle_tree_block() -> pagecache_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 2 count 0
BUF_SIZE 1 buf 64
BUF_SIZE 1 buf 64
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $3
DATA_SOURCE 3 pos $2 [m]

fs/ext4/verity.c ext4_write_verity_descriptor() -> pagecache_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 256-16384
BUF_SIZE 1 buf 256-16384
BUF_SIZE 1 buf 256-16384
DATA_SOURCE 0 inode $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
PARAM_COMPARE 1 buf == $2
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/ext4/verity.c ext4_write_verity_descriptor() -> pagecache_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_mapping 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 buf 9044683573774979072
PARAM_VALUE 1 *buf 256-16384
PARAM_VALUE 2 count 4
BUF_SIZE 1 buf 4
DATA_SOURCE 0 inode $0
UNITS 2 count unit_byte
UNITS 3 pos unit_byte
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/verity.c f2fs_end_enable_verity() -> pagecache_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 256-16384
BUF_SIZE 1 buf 256-16384
BUF_SIZE 1 buf 256-16384
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
PARAM_COMPARE 1 buf == $2
BYTE_COUNT 1 ==buf2 8050
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/verity.c f2fs_write_merkle_tree_block() -> pagecache_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 2 count 0
BUF_SIZE 1 buf 64
BUF_SIZE 1 buf 64
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $3
DATA_SOURCE 3 pos $2 [m]