Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/overlayfs/inode.c ovl_lowerpath() -> ovl_lowerstack()

Type Parameter Key Value
PARAM_VALUE 0 oe 0,4096-ptr_max
DATA_SOURCE 0 oe $0
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/util.c ovl_dentry_init_flags() -> ovl_lowerstack()

Type Parameter Key Value
PARAM_VALUE 0 oe 0,4096-ptr_max
BUF_SIZE 0 oe (-1),8-s32max
BUF_SIZE 0 oe (-1),8-s32max
DATA_SOURCE 0 oe $2
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/util.c ovl_dentry_lower() -> ovl_lowerstack()

Type Parameter Key Value
PARAM_VALUE 0 oe 4096-ptr_max
DATA_SOURCE 0 oe r OVL_E
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/util.c ovl_free_entry() -> ovl_lowerstack()

Type Parameter Key Value
BUF_SIZE 0 oe (-1),8-s32max
BUF_SIZE 0 oe (-1),8-s32max
DATA_SOURCE 0 oe $0
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/util.c ovl_layer_lower() -> ovl_lowerstack()

Type Parameter Key Value
PARAM_VALUE 0 oe 4096-ptr_max
DATA_SOURCE 0 oe r OVL_E
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/overlayfs/util.c ovl_lowerdata() -> ovl_lowerstack()

Type Parameter Key Value
DATA_SOURCE 0 oe $0
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/util.c ovl_lowerpath() -> ovl_lowerstack()

Type Parameter Key Value
DATA_SOURCE 0 oe $0
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/util.c ovl_path_lower() -> ovl_lowerstack()

Type Parameter Key Value
DATA_SOURCE 0 oe r OVL_E
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/super.c ovl_dentry_revalidate_common() -> ovl_lowerstack()

Type Parameter Key Value
DATA_SOURCE 0 oe r OVL_I_E
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/super.c ovl_destroy_inode() -> ovl_lowerstack()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &oi->__upperdentry->d_lockref.lock

fs/overlayfs/super.c ovl_get_indexdir() -> ovl_lowerstack()

Type Parameter Key Value
PARAM_VALUE 0 oe 4096-ptr_max
BUF_SIZE 0 oe 8-s32max
BUF_SIZE 0 oe 8-s32max
DATA_SOURCE 0 oe $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount

fs/overlayfs/super.c ovl_get_lowerstack() -> ovl_lowerstack()

Type Parameter Key Value
PARAM_VALUE 0 oe 4096-ptr_max
BUF_SIZE 0 oe 8-s32max
BUF_SIZE 0 oe 8-s32max
DATA_SOURCE 0 oe r ovl_alloc_entry
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount

fs/overlayfs/super.c ovl_get_root() -> ovl_lowerstack()

Type Parameter Key Value
PARAM_VALUE 0 oe 4096-ptr_max
BUF_SIZE 0 oe 8-s32max
BUF_SIZE 0 oe 8-s32max
DATA_SOURCE 0 oe $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount

fs/overlayfs/export.c ovl_connect_layer() -> ovl_lowerstack()

Type Parameter Key Value
DATA_SOURCE 0 oe r OVL_E
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &group->mark_mutex
HALF_LOCKED2 &inode->i_sb->s_umount
HALF_LOCKED2 &m->lock

fs/overlayfs/export.c ovl_connectable_layer() -> ovl_lowerstack()

Type Parameter Key Value
DATA_SOURCE 0 oe r OVL_E
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &group->mark_mutex
HALF_LOCKED2 &inode->i_sb->s_umount
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &next->d_lockref.lock

fs/overlayfs/export.c ovl_dentry_real_at() -> ovl_lowerstack()

Type Parameter Key Value
DATA_SOURCE 0 oe r OVL_E
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/export.c ovl_obtain_alias() -> ovl_lowerstack()

Type Parameter Key Value
PARAM_VALUE 0 oe 4096-ptr_max
PARAM_VALUE 0 oe->__numlower 0-1
BUF_SIZE 0 oe 8-s32max
BUF_SIZE 0 oe 8-s32max
DATA_SOURCE 0 oe r ovl_alloc_entry
FUZZY_MAX 0 oe->__numlower 1
HARD_MAX 0 oe->__numlower 1
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/export.c ovl_obtain_alias() -> ovl_lowerstack()

Type Parameter Key Value
PARAM_VALUE 0 oe 4096-ptr_max
PARAM_VALUE 0 oe->__numlower 0-1
BUF_SIZE 0 oe 8-s32max
BUF_SIZE 0 oe 8-s32max
DATA_SOURCE 0 oe r ovl_alloc_entry
FUZZY_MAX 0 oe->__numlower 1
HARD_MAX 0 oe->__numlower 1
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/namei.c ovl_lower_positive() -> ovl_lowerstack()

Type Parameter Key Value
PARAM_VALUE 0 oe 4096-ptr_max
DATA_SOURCE 0 oe r OVL_E
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &target->i_rwsem

fs/overlayfs/namei.c ovl_path_next() -> ovl_lowerstack()

Type Parameter Key Value
DATA_SOURCE 0 oe r OVL_E
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &pool->lock