Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/jbd2/transaction.c __jbd2_journal_file_buffer() -> warn_dirty_buffer()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &jh->b_state_lock
HALF_LOCKED2 &journal->j_list_lock
HALF_LOCKED2 &journal->j_state_lock
HALF_LOCKED2 &transaction->t_journal->j_list_lock
TYPE_LOCK (struct journal_head)->b_state_lock
TYPE_LOCK (struct journal_s)->j_list_lock

fs/jbd2/transaction.c do_get_write_access() -> warn_dirty_buffer()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &jh->b_state_lock
TYPE_LOCK (struct journal_head)->b_state_lock