Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/overlayfs/inode.c ovl_get_inode() -> ovl_free_entry()

Type Parameter Key Value
PARAM_VALUE 0 oe 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &upperdentry->d_lockref.lock

fs/overlayfs/super.c ovl_fill_super_creds() -> ovl_free_entry()

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_get_lowerstack
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount

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

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
NOCHECK_CALL

fs/overlayfs/namei.c ovl_lookup() -> ovl_free_entry()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx.index->d_lockref.lock
HALF_LOCKED2 &ctx.origin_path->dentry->d_lockref.lock
HALF_LOCKED2 &dir->i_rwsem