Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/ext4/verity.c ext4_readahead_merkle_tree() -> generic_readahead_merkle_tree()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | inode->i_mapping->host->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->i_mapping->host->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->i_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb->s_vop | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb->s_vop->readahead_merkle_tree | 3982924104221462528,6713350451579838464 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | index | $1 [m] |
| DATA_SOURCE | 2 | nr_pages | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | index | 0-2251799814209534[c] |
| USER_DATA | 2 | nr_pages | 1-524288 |
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock |
fs/f2fs/verity.c f2fs_readahead_merkle_tree() -> generic_readahead_merkle_tree()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | inode->i_mapping->host->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->i_mapping->host->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->i_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb->s_vop | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb->s_vop->readahead_merkle_tree | 3982924104221462528,6713350451579838464 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | index | $1 [m] |
| DATA_SOURCE | 2 | nr_pages | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | index | 0-2251799814209534[c] |
| USER_DATA | 2 | nr_pages | 1-524288 |
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock |