Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/verity/enable.c enable_verity() -> (struct fsverity_operations)->end_enable_verity()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_writecount.counter | 0-s32max |
| PARAM_VALUE | 1 | desc | 4096-ptr_max |
| PARAM_VALUE | 2 | desc_size | 256-16384 |
| PARAM_VALUE | 3 | merkle_tree_size | 0 |
| BUF_SIZE | 1 | desc | 256-16384 |
| CAPPED_DATA | 0 | filp->f_inode->i_size | 1 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | desc | r _kzalloc_noprof |
| DATA_SOURCE | 2 | desc_size | r size_add |
| BIT_INFO | 0 | filp->f_mode | 0x1,0xffffffffffffffff |
| BYTE_COUNT | 1 | ==desc2 | 8050 |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/verity/enable.c enable_verity() -> (struct fsverity_operations)->end_enable_verity()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_writecount.counter | 0-s32max |
| PARAM_VALUE | 1 | desc | 0 |
| PARAM_VALUE | 2 | desc_size | 0 |
| PARAM_VALUE | 3 | merkle_tree_size | 0 |
| CAPPED_DATA | 0 | filp->f_inode->i_size | 1 |
| DATA_SOURCE | 0 | filp | $0 |
| BIT_INFO | 0 | filp->f_mode | 0x1,0xffffffffffffffff |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |