Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/jbd2/commit.c jbd2_journal_commit_transaction() -> jbd2_journal_get_descriptor_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transaction | 4096-ptr_max |
| PARAM_VALUE | 0 | transaction->t_buffers | 1-u64max |
| PARAM_VALUE | 0 | transaction->t_buffers->b_frozen_triggers->t_abort | 4877725388703375360 |
| PARAM_VALUE | 0 | transaction->t_journal | 4096-ptr_max |
| PARAM_VALUE | 0 | transaction->t_journal->j_inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | transaction->t_journal->j_inode->i_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | transaction->t_journal->j_inode->i_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | transaction->t_journal->j_inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | transaction->t_journal->j_sb_buffer->b_folio->mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | transaction->t_journal->j_superblock->s_errno | 0-4294967187,4294967189-u32max |
| PARAM_VALUE | 0 | transaction->t_journal->j_superblock->s_header.h_blocktype | 1-2,5 |
| PARAM_VALUE | 0 | transaction->t_reserved_list | 0 |
| PARAM_VALUE | 0 | transaction->t_state | 4 |
| PARAM_VALUE | 1 | type | 1 |
| CAPPED_DATA | 0 | transaction | 1 |
| CAPPED_DATA | 0 | transaction->t_requested | 1 |
| CAPPED_DATA | 0 | transaction->t_start | 1 |
| CONSTRAINT | 0 | transaction->t_nr_buffers | <=4136 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/jbd2/commit.c journal_submit_commit_record() -> jbd2_journal_get_descriptor_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transaction | 4096-ptr_max |
| PARAM_VALUE | 0 | transaction->t_buffers | 0 |
| PARAM_VALUE | 0 | transaction->t_buffers->b_frozen_triggers->t_abort | 4096-ptr_max |
| PARAM_VALUE | 0 | transaction->t_journal | 4096-ptr_max |
| PARAM_VALUE | 0 | transaction->t_journal->j_inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | transaction->t_journal->j_inode->i_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | transaction->t_journal->j_inode->i_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | transaction->t_journal->j_inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | transaction->t_journal->j_sb_buffer->b_folio->mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | transaction->t_journal->j_superblock->s_errno | 0-4294967187,4294967189-u32max |
| PARAM_VALUE | 0 | transaction->t_reserved_list | 0 |
| PARAM_VALUE | 0 | transaction->t_state | 5-6 |
| PARAM_VALUE | 1 | type | 2 |
| CAPPED_DATA | 0 | transaction | 1 |
| DATA_SOURCE | 0 | transaction | $1 |
| CONSTRAINT | 0 | transaction | <=4136 |
| HARD_MAX | 0 | transaction->t_state | 6 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/jbd2/revoke.c write_one_revoke_record() -> jbd2_journal_get_descriptor_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transaction | 4096-ptr_max |
| PARAM_VALUE | 0 | transaction->t_journal | 4096-ptr_max |
| PARAM_VALUE | 0 | transaction->t_journal->j_inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | transaction->t_journal->j_inode->i_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | transaction->t_journal->j_inode->i_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | transaction->t_journal->j_revoke_table | 4096-ptr_max |
| PARAM_VALUE | 0 | transaction->t_journal->j_sb_buffer->b_folio->mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | transaction->t_journal->j_superblock | 4096-ptr_max |
| PARAM_VALUE | 0 | transaction->t_journal->j_superblock->s_errno | 0-4294967187,4294967189-u32max |
| PARAM_VALUE | 0 | transaction->t_journal->j_superblock->s_header.h_blocktype | 1-2,5 |
| PARAM_VALUE | 0 | transaction->t_reserved_list | 0 |
| PARAM_VALUE | 0 | transaction->t_reserved_list->b_bh->b_folio->mapping->host->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | type | 5 |
| CAPPED_DATA | 0 | transaction | 1 |
| CAPPED_DATA | 0 | transaction->t_requested | 1 |
| CAPPED_DATA | 0 | transaction->t_start | 1 |
| DATA_SOURCE | 0 | transaction | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |