Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/inode.c ext4_da_write_end() -> ext4_write_inline_data_end()

Type Parameter Key Value
DATA_SOURCE 1 pos $2
DATA_SOURCE 2 len $3
DATA_SOURCE 3 copied $4
DATA_SOURCE 4 folio $5
NOSPEC 1 pos
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pos s64min-s64max
USER_DATA 2 len 0-s32max[c]
USER_DATA 3 copied 0-u32max
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/inode.c ext4_journalled_write_end() -> ext4_write_inline_data_end()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 1 pos $2
DATA_SOURCE 2 len $3
DATA_SOURCE 3 copied $4
DATA_SOURCE 4 folio $5
NOSPEC 1 pos
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pos s64min-s64max
USER_DATA 2 len 0-s32max[c]
USER_DATA 3 copied 0-u32max
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/inode.c ext4_write_end() -> ext4_write_inline_data_end()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 1 pos $2
DATA_SOURCE 2 len $3
DATA_SOURCE 3 copied $4
DATA_SOURCE 4 folio $5
NOSPEC 1 pos
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pos s64min-s64max
USER_DATA 2 len 0-s32max[c]
USER_DATA 3 copied 0-u32max
HALF_LOCKED2 &inode->i_rwsem