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_do_writepages() -> ext4_destroy_inline_data()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 1 inode 4096-ptr_max
PARAM_VALUE 1 inode->i_mapping 4096-ptr_max
PARAM_VALUE 1 inode->i_mapping->host 4096-ptr_max
PARAM_VALUE 1 inode->i_mapping->host->i_sb 4096-ptr_max
PARAM_VALUE 1 inode->i_mapping->i_pages.xa_flags 33554432-u32max
PARAM_VALUE 1 inode->i_mapping->nrpages 1-u64max
PARAM_VALUE 1 inode->i_sb 4096-ptr_max
BUF_SIZE 0 handle (-1),1-s32max
BUF_SIZE 0 handle (-1),1-s32max
DATA_SOURCE 0 handle r __ext4_journal_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL