Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- fs/buffer.c
- fs/ext2/dir.c, line 91
- fs/ext4/inode.c
- fs/iomap/buffered-io.c, line 1180
- fs/minix/dir.c, line 48
- fs/nilfs2/dir.c, line 100
- fs/nilfs2/recovery.c, line 563
- fs/ufs/dir.c, line 52
Smatch caller information:
fs/ufs/dir.c ufs_commit_chunk() -> block_write_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | folio | 4096-ptr_max |
| PARAM_VALUE | 3 | folio->mapping | 4096-ptr_max |
| DATA_SOURCE | 0 | pos | $1 |
| DATA_SOURCE | 1 | len | $2 |
| DATA_SOURCE | 2 | copied | $2 |
| DATA_SOURCE | 3 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ext2/dir.c ext2_commit_chunk() -> block_write_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | folio | 4096-ptr_max |
| PARAM_VALUE | 3 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 3 | folio->mapping->host | 4096-ptr_max |
| DATA_SOURCE | 0 | pos | $1 |
| DATA_SOURCE | 1 | len | $2 |
| DATA_SOURCE | 2 | copied | $2 |
| DATA_SOURCE | 3 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | len | |
| NO_OVERFLOW_SIMPLE | 2 | copied | |
| UNITS | 1 | len | unit_byte |
| UNITS | 2 | copied | unit_byte |
fs/ext4/inode.c ext4_da_do_write_end() -> block_write_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | folio | 4096-ptr_max |
| DATA_SOURCE | 0 | pos | $1 |
| DATA_SOURCE | 1 | len | $2 |
| DATA_SOURCE | 2 | copied | $3 |
| DATA_SOURCE | 3 | folio | $4 |
| NOSPEC | 0 | pos | |
| NOSPEC | 0 | pos | |
| NOSPEC | 1 | len | |
| NOSPEC | 1 | len | |
| NOSPEC | 2 | copied | |
| NOSPEC | 2 | copied | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | pos | s64min-s64max |
| USER_DATA | 1 | len | 0-s32max[c] |
| USER_DATA | 2 | copied | 0-u32max |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inode.c ext4_write_end() -> block_write_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pos | $2 |
| DATA_SOURCE | 1 | len | $3 |
| DATA_SOURCE | 2 | copied | $4 |
| DATA_SOURCE | 3 | folio | $5 |
| NOSPEC | 0 | pos | |
| NOSPEC | 1 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | pos | s64min-s64max |
| USER_DATA | 1 | len | 0-s32max[c] |
| USER_DATA | 2 | copied | 0-u32max |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/nilfs2/recovery.c nilfs_recover_dsync_blocks() -> block_write_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | len | 1024-65536 |
| PARAM_VALUE | 2 | copied | 1024-65536 |
| PARAM_VALUE | 3 | folio | 4096-ptr_max |
| CAPPED_DATA | 1 | len | 1 |
| CAPPED_DATA | 2 | copied | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | pos | unit_byte |
| UNITS | 1 | len | unit_byte |
| UNITS | 2 | copied | unit_byte |
| HALF_LOCKED2 | &fc->uapi_mutex |
fs/minix/dir.c dir_commit_chunk() -> block_write_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | folio | 4096-ptr_max |
| PARAM_VALUE | 3 | folio->mapping | 4096-ptr_max |
| DATA_SOURCE | 0 | pos | $1 |
| DATA_SOURCE | 1 | len | $2 |
| DATA_SOURCE | 2 | copied | $2 |
| DATA_SOURCE | 3 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
| UNITS | 2 | copied | unit_byte |
fs/nilfs2/dir.c nilfs_commit_chunk() -> block_write_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | folio | 4096-ptr_max |
| DATA_SOURCE | 3 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | pos | unit_byte |
| UNITS | 1 | len | unit_byte |
| UNITS | 2 | copied | unit_byte |
fs/iomap/buffered-io.c iomap_write_end() -> block_write_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | folio | 0,4096-ptr_max |
| PARAM_VALUE | 3 | folio->mapping->host->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 3 | folio->mapping->host->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 3 | folio->mapping->host->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| CAPPED_DATA | 3 | folio | 1 |
| DATA_SOURCE | 1 | len | $1 |
| DATA_SOURCE | 2 | copied | $2 |
| DATA_SOURCE | 3 | folio | $3 |
| NOSPEC | 1 | len | |
| NOSPEC | 1 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | pos | s64min-s64max |
| USER_DATA | 1 | len | 0-s32max[c] |
| USER_DATA | 2 | copied | 0-u32max |
| UNITS | 0 | pos | unit_byte |
| UNITS | 1 | len | unit_byte |
fs/buffer.c generic_write_end() -> block_write_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pos | $2 |
| DATA_SOURCE | 1 | len | $3 |
| DATA_SOURCE | 2 | copied | $4 |
| DATA_SOURCE | 3 | folio | $5 |
| NOSPEC | 0 | pos | |
| NOSPEC | 1 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | pos | s64min-s64max |
| USER_DATA | 1 | len | 0-s32max[c] |
| USER_DATA | 2 | copied | 0-u32max |
| UNITS | 0 | pos | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |