Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/inode.c file_update_time_flags() -> generic_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 0
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]
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() -> generic_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 0
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
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

fs/gfs2/inode.c gfs2_update_time() -> generic_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-1
PARAM_VALUE 2 flags 0,8
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 1 type $1
DATA_SOURCE 2 flags $2
BIT_INFO 2 flags 0x0,0x0
HARD_MAX 1 type 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 flags 0,8[c][u]
HALF_LOCKED2 &inode->i_rwsem