Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/udf/super.c udf_close_lvid() -> udf_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 0 bh->b_data 4096-ptr_max
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.day 1-31
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.minute 0-59
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.month 0-14,247-255
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.second 0-59
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.typeAndTimezone 4096-5119
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->s_alloc_mutex
TYPE_LOCK (struct udf_sb_info)->s_alloc_mutex

fs/udf/super.c udf_open_lvid() -> udf_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 0 bh->b_data 4096-ptr_max
PARAM_VALUE 0 bh->b_data->integrityType 0
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.day 1-31
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.minute 0-59
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.month 0-14,247-255
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.second 0-59
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.typeAndTimezone 4096-5119
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->s_alloc_mutex
HALF_LOCKED2 &fc->uapi_mutex
TYPE_LOCK (struct udf_sb_info)->s_alloc_mutex

fs/udf/super.c udf_sync_fs() -> udf_mark_buffer_dirty()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 0 bh->b_data 4096-ptr_max
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.day 1-31
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.minute 0-59
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.month 0-14,247-255
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.second 0-59
PARAM_VALUE 0 bh->b_data->recordingDateAndTime.typeAndTimezone 4096-5119
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->s_alloc_mutex
HALF_LOCKED2 &sb->s_umount
TYPE_LOCK (struct udf_sb_info)->s_alloc_mutex