Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/stat.c vfs_getattr_nosec() -> bdev_statx()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->dentry 4096-ptr_max
PARAM_VALUE 0 path->dentry->d_inode->i_ctime_nsec.counter 0-s32max
PARAM_VALUE 0 path->dentry->d_inode->i_op 4096-ptr_max
PARAM_VALUE 0 path->dentry->d_inode->i_sb 4096-ptr_max
PARAM_VALUE 0 path->mnt 4096-ptr_max
PARAM_VALUE 1 stat 4096-ptr_max
PARAM_VALUE 1 stat->attributes 0,4096,2097152,2101248
PARAM_VALUE 1 stat->attributes_mask 2101248
PARAM_VALUE 1 stat->change_cookie 0-9223372036854775807
PARAM_VALUE 1 stat->result_mask 2015,2047
BUF_SIZE 1 stat (-1),192
BUF_SIZE 1 stat (-1),192
DATA_SOURCE 0 path $0
DATA_SOURCE 1 stat $1
DATA_SOURCE 2 request_mask $2
FUZZY_MAX 1 stat->attributes 0
FUZZY_MAX 1 stat->change_cookie 0
BIT_INFO 1 stat->attributes 0x0,0x201000
BIT_INFO 1 stat->result_mask 0x7df,0x7ff
MEM_ZERO 1 stat
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 stat->result_mask 2015,2047[c]
USER_DATA 2 request_mask 0-1073741822[c]
NO_OVERFLOW_SIMPLE 1 stat->ino
NO_OVERFLOW_SIMPLE 1 stat->size
HALF_LOCKED2 &iint->mutex
HALF_LOCKED2 &lo->lo_mutex