Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/btrfs/verity.c btrfs_write_merkle_tree_block() -> write_key_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | key_type | 37 |
| PARAM_VALUE | 4 | len | 0 |
| BUF_SIZE | 3 | src | 64 |
| DATA_SOURCE | 2 | offset | $2 |
| DATA_SOURCE | 3 | src | $1 |
| DATA_SOURCE | 4 | len | $3 |
| UNITS | 2 | offset | unit_byte |
| UNITS | 4 | len | unit_byte |
fs/btrfs/verity.c finish_verity() -> write_key_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.count.counter | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | key_type | 36 |
| PARAM_VALUE | 2 | offset | 0 |
| PARAM_VALUE | 3 | src | 1551572313446375424 |
| PARAM_VALUE | 4 | len | 25 |
| BUF_SIZE | 3 | src | 25 |
| DATA_SOURCE | 0 | inode | $0 |
| MEM_ZERO | 3 | src | |
| UNITS | 4 | len | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/btrfs/verity.c finish_verity() -> write_key_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->vfs_inode.i_rwsem.count.counter | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | key_type | 36 |
| PARAM_VALUE | 2 | offset | 1 |
| PARAM_VALUE | 3 | src | 4096-ptr_max |
| PARAM_VALUE | 4 | len | 256-16384 |
| BUF_SIZE | 3 | src | 256-16384 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 3 | src | $1 |
| DATA_SOURCE | 4 | len | $2 |
| BYTE_COUNT | 3 | ==src4 | 8050 |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |