Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/ext4/fast_commit.c ext4_fc_commit() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | x | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/fast_commit.c ext4_fc_mark_ineligible() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | y | 0-4294967295 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ei->i_fc_lock | ||
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/jbd2/revoke.c jbd2_journal_set_revoke() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | x | 1 |
| DATA_SOURCE | 0 | x | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/jbd2/revoke.c jbd2_journal_test_revoke() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | x | 1 |
| DATA_SOURCE | 0 | x | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/jbd2/journal.c jbd2_journal_get_log_tail() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &journal->j_list_lock | ||
| LOCK2 | &journal->j_state_lock | ||
| HALF_LOCKED2 | &journal->j_checkpoint_mutex | ||
| TYPE_LOCK | (struct journal_s)->j_list_lock | ||
| TYPE_LOCK | (struct journal_s)->j_state_lock |
fs/jbd2/journal.c jbd2_log_wait_commit() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | x | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &journal->j_state_lock | ||
| TYPE_LOCK | (struct journal_s)->j_state_lock |
fs/jbd2/journal.c jbd2_log_wait_commit() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | x | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &journal->j_state_lock | ||
| TYPE_LOCK | (struct journal_s)->j_state_lock |
fs/jbd2/journal.c jbd2_log_wait_commit() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | x | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/jbd2/journal.c jbd2_log_wait_commit() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | x | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/jbd2/journal.c jbd2_log_wait_commit() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | x | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/jbd2/journal.c jbd2_log_wait_commit() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | x | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &journal->j_state_lock | ||
| TYPE_LOCK | (struct journal_s)->j_state_lock |
fs/jbd2/journal.c jbd2_update_log_tail() -> tid_gt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | x | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &journal->j_checkpoint_mutex | ||
| TYPE_LOCK | (struct journal_s)->j_checkpoint_mutex |