Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/inode.c file_update_time_flags() -> (struct inode_operations)->update_time()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_op 4096-ptr_max
PARAM_VALUE 0 inode->i_op->update_time 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 type 1
PARAM_VALUE 2 flags 0,8
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 2 flags $1 [m]
CONTAINER 0 -136-32+0 $(-1)
PARAM_COMPARE 0 inode->i_sb->s_time_max >= $0->i_sb->s_time_min
BIT_INFO 0 inode->i_flags 0x0,0xffffff7f
BIT_INFO 2 flags 0x0,0x8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 flags 0,8[c][u]
HALF_LOCKED2 &inode->i_rwsem

fs/inode.c touch_atime() -> (struct inode_operations)->update_time()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_op 4096-ptr_max
PARAM_VALUE 0 inode->i_op->update_time 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 type 0
PARAM_VALUE 2 flags 0
CAPPED_DATA 0 inode->i_sb->s_time_max 1
CONTAINER 0 -136-32+0 $(-1)
PARAM_COMPARE 0 inode->i_sb->s_time_max >= $0->i_sb->s_time_min
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock