Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/overlayfs/params.c sb_has_encoding() -> sb_encoding()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &fc->uapi_mutex

fs/overlayfs/util.c sb_has_encoding() -> sb_encoding()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte

fs/overlayfs/dir.c sb_has_encoding() -> sb_encoding()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/overlayfs/super.c sb_has_encoding() -> sb_encoding()

Type Parameter Key Value
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_op (-1),216
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-2415922176[c]
UNITS 0 sb unit_byte
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 0 &sb->s_umount

fs/overlayfs/readdir.c ovl_dir_read_merged() -> sb_encoding()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/overlayfs/namei.c sb_has_encoding() -> sb_encoding()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte

fs/nfsd/nfs4xdr.c sb_has_encoding() -> sb_encoding()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
UNITS 0 sb unit_byte