Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/file.c ext4_dio_write_checks() -> ext4_dio_needs_zeroing()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_data.host->i_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | pos | s64min-9223372036854775806 |
| PARAM_VALUE | 2 | len | 1-s64max |
| CAPPED_DATA | 0 | inode | 1 |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->i_sb->s_fs_info->s_first_error_block | s64min-s64max[c] |
| USER_DATA | 0 | inode->i_sb->s_fs_info->s_first_error_ino | 0-4294967295 |
| USER_DATA | 2 | len | 1-s64max |
| UNITS | 1 | pos | unit_byte |
| UNITS | 2 | len | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | 0 | &inode->i_rwsem | |
| TYPE_LOCK | (struct inode)->i_rwsem |