Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/jbd2/transaction.c start_this_handle() -> jbd2_journal_free_transaction()

Type Parameter Key Value
STR_LEN 0 transaction->t_journal (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jbd2/transaction.c start_this_handle() -> jbd2_journal_free_transaction()

Type Parameter Key Value
PARAM_VALUE 0 transaction 0
BUF_SIZE 0 transaction 0
STR_LEN 0 transaction->t_journal (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jbd2/checkpoint.c __jbd2_journal_remove_checkpoint() -> jbd2_journal_free_transaction()

Type Parameter Key Value
PARAM_VALUE 0 transaction 4096-ptr_max
PARAM_VALUE 0 transaction->t_buffers 0
PARAM_VALUE 0 transaction->t_checkpoint_list 0
PARAM_VALUE 0 transaction->t_cpnext 0,4096-ptr_max
PARAM_VALUE 0 transaction->t_cpprev->t_cpnext 4096-ptr_max
PARAM_VALUE 0 transaction->t_forget 0
PARAM_VALUE 0 transaction->t_journal 4096-ptr_max
PARAM_VALUE 0 transaction->t_journal->j_checkpoint_jh_count.counters 4096-ptr_max
PARAM_VALUE 0 transaction->t_journal->j_checkpoint_jh_count.lock.dep_map->name 0-255
PARAM_VALUE 0 transaction->t_journal->j_checkpoint_jh_count.lock.owner (-1)
PARAM_VALUE 0 transaction->t_journal->j_checkpoint_jh_count.lock.owner_cpu u32max
PARAM_VALUE 0 transaction->t_journal->j_checkpoint_transactions->t_cpprev 4096-ptr_max
PARAM_VALUE 0 transaction->t_journal->j_fs_dev 4096-ptr_max
PARAM_VALUE 0 transaction->t_shadow_list 0
PARAM_VALUE 0 transaction->t_state 8
PARAM_VALUE 0 transaction->t_updates.counter 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &jh->b_state_lock
HALF_LOCKED2 &journal->j_checkpoint_mutex
HALF_LOCKED2 &journal->j_list_lock
HALF_LOCKED2 &journal->j_state_lock