Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/jbd2/commit.c jbd2_journal_commit_transaction() -> mutex_lock_io_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jbd2/journal.c jbd2_journal_destroy() -> mutex_lock_io_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jbd2/journal.c jbd2_journal_destroy() -> mutex_lock_io_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jbd2/journal.c jbd2_journal_flush() -> mutex_lock_io_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &journal->j_barrier
HALF_LOCKED2 &journal->j_trans_barrier
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 &tl_inode->i_rwsem

fs/jbd2/journal.c jbd2_journal_flush() -> mutex_lock_io_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &journal->j_barrier
HALF_LOCKED2 &journal->j_trans_barrier
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 &tl_inode->i_rwsem

fs/jbd2/journal.c jbd2_journal_wipe() -> mutex_lock_io_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex

fs/jbd2/journal.c jbd2_update_log_tail() -> mutex_lock_io_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jbd2/journal.c journal_reset() -> mutex_lock_io_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jbd2/checkpoint.c __jbd2_log_wait_for_space() -> mutex_lock_io_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jbd2/checkpoint.c jbd2_log_do_checkpoint() -> mutex_lock_io_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 1 subclass 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/test_context-analysis.c test_mutex_lock() -> mutex_lock_io_nested()

Type Parameter Key Value
PARAM_VALUE 0 lock->osq.tail.counter 0-s32max
PARAM_VALUE 1 subclass 0
NOCHECK_CALL