Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/send.c get_cur_path() -> is_waiting_for_rm()

Type Parameter Key Value
PARAM_VALUE 0 sctx 4096-ptr_max
PARAM_VALUE 1 dir_ino 0-255,257-u64max
BUF_SIZE 0 sctx (-1),32
BUF_SIZE 0 sctx (-1),32
BUF_SIZE 0 sctx->cur_inode (-1),1160
BUF_SIZE 0 sctx->verity_descriptor (-1),16384
DATA_SOURCE 0 sctx $0
DATA_SOURCE 1 dir_ino $1 [m]
DATA_SOURCE 2 gen $2 [m]
STR_LEN 0 sctx (-1),19
STR_LEN 0 sctx (-1),19
NO_OVERFLOW_SIMPLE 0 sctx->cur_inode->i_bytes
NO_OVERFLOW_SIMPLE 0 sctx->cur_inode->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 sctx->cur_inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 sctx->cur_inode->i_size
NO_OVERFLOW_SIMPLE 0 sctx->page_cache_clear_start
NO_OVERFLOW_SIMPLE 0 sctx->parent_root->dirty_log_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 sctx->parent_root->dirty_log_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 sctx->send_filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 sctx->send_filp->f_path.moved->d_inode->i_size
UNITS 1 dir_ino unit_byte

fs/btrfs/send.c path_loop() -> is_waiting_for_rm()

Type Parameter Key Value
PARAM_VALUE 0 sctx 4096-ptr_max
PARAM_VALUE 1 dir_ino 0-255,257-u64max
DATA_SOURCE 0 sctx $0
DATA_SOURCE 1 dir_ino $2 [m]
DATA_SOURCE 2 gen $3 [m]
NO_OVERFLOW_SIMPLE 0 sctx->send_filp->f_path.moved->d_inode->i_size
UNITS 1 dir_ino unit_byte