Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/super.c ext4_setup_super() -> __ext4_update_tstamp()

Type Parameter Key Value
PARAM_VALUE 0 lo 4096-ptr_max
PARAM_VALUE 1 hi 4096-ptr_max
NOCHECK_CALL

fs/ext4/super.c ext4_update_super() -> __ext4_update_tstamp()

Type Parameter Key Value
PARAM_VALUE 0 lo 4096-ptr_max
PARAM_VALUE 1 hi 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/super.c ext4_update_super() -> __ext4_update_tstamp()

Type Parameter Key Value
PARAM_VALUE 0 lo 4096-ptr_max
PARAM_VALUE 0 *lo 0
PARAM_VALUE 1 hi 4096-ptr_max
PARAM_VALUE 1 *hi 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->s_error_lock
TYPE_LOCK (struct ext4_sb_info)->s_error_lock

fs/ext4/super.c ext4_update_super() -> __ext4_update_tstamp()

Type Parameter Key Value
PARAM_VALUE 0 lo 4096-ptr_max
PARAM_VALUE 1 hi 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->s_error_lock
TYPE_LOCK (struct ext4_sb_info)->s_error_lock