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 apply_dir_move() -> get_waiting_dir_move()

Type Parameter Key Value
PARAM_VALUE 0 sctx 4096-ptr_max
DATA_SOURCE 0 sctx $0
NO_OVERFLOW_SIMPLE 0 sctx->send_filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 sctx->send_filp->f_path.moved->d_inode->i_size
UNITS 1 ino unit_byte

fs/btrfs/send.c apply_dir_move() -> get_waiting_dir_move()

Type Parameter Key Value
PARAM_VALUE 0 sctx 4096-ptr_max
PARAM_VALUE 0 sctx->waiting_dir_moves.rb_node 4096-ptr_max
CAPPED_DATA 1 ino 1
CAPPED_DATA 1 ino 1
DATA_SOURCE 0 sctx $0
NO_OVERFLOW_SIMPLE 0 sctx->send_filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 sctx->send_filp->f_path.moved->d_inode->i_size
UNITS 1 ino unit_byte

fs/btrfs/send.c can_rmdir() -> get_waiting_dir_move()

Type Parameter Key Value
PARAM_VALUE 0 sctx 4096-ptr_max
PARAM_VALUE 0 sctx->waiting_dir_moves.rb_node 4096-ptr_max
DATA_SOURCE 0 sctx $0
NO_OVERFLOW_SIMPLE 0 sctx->send_filp->f_path.moved->d_inode->i_size
UNITS 1 ino unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 sctx 4096-ptr_max
PARAM_VALUE 1 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
CAPPED_DATA 1 ino 1
CAPPED_DATA 1 ino 1
DATA_SOURCE 0 sctx $0
DATA_SOURCE 1 ino $1 [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 ino unit_byte

fs/btrfs/send.c is_waiting_for_move() -> get_waiting_dir_move()

Type Parameter Key Value
CAPPED_DATA 1 ino 1
CAPPED_DATA 1 ino 1
DATA_SOURCE 0 sctx $0
DATA_SOURCE 1 ino $1
UNITS 1 ino unit_byte

fs/btrfs/send.c wait_for_dest_dir_move() -> get_waiting_dir_move()

Type Parameter Key Value
PARAM_VALUE 0 sctx 4096-ptr_max
DATA_SOURCE 0 sctx $0
UNITS 1 ino unit_byte