Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/namei.c inode_permission() -> sb_permission()

Type Parameter Key Value
PARAM_VALUE 1 inode 4096-ptr_max
DATA_SOURCE 1 inode $1
DATA_SOURCE 2 mask $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 inode->i_mode 0-u16max
USER_DATA 1 inode->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 2 mask 4-24[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 1 inode->i_blkbits
NO_OVERFLOW_SIMPLE 1 inode->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 1 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 1 inode->i_sb->s_blocksize_bits
UNITS 0 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &cgroup_mutex
HALF_LOCKED2 1 &inode->i_rwsem