Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/jbd2/transaction.c jbd2_buffer_frozen_trigger() -> (struct jbd2_buffer_trigger_type)->t_frozen()

Type Parameter Key Value
PARAM_VALUE 0 triggers 4096-ptr_max
PARAM_VALUE 0 triggers->t_frozen 1-u64max
PARAM_VALUE 1 bh 4096-ptr_max
DATA_SOURCE 0 triggers $2
DATA_SOURCE 2 data $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &jh->b_state_lock
TYPE_LOCK (struct journal_head)->b_state_lock